convert into clause normal form CNF and apply resolution

The Financial Advisor Example 1 savings account(inadequate) investment(savings). 21 savings account(adequate) , income(adequate) investment(stocks). 3 savings account(adequate) , income(inadequate) investment(combination). 4. Vamount_saved(X)^3 Y (dependents(Y) ^ greater(X, minsavings(Y))) savings account(adequate). 5 V X amount_saved(x) ^ 3 Y (dependents(Y) ^ - greater(X, minsavings(Y))) savings account(inadequate). 6. VX earnings(X, steady) ^ 3 Y (dependents (Y) ^ greater(X, minincome(Y))) income(adequate). 7 V X earnings(X, steady) ^ 3 Y (dependents(Y) -greater(X, minincome(Y))) income(inadequate). 8. X earnings(X, unsteady) income(inadequate). 9 amount_saved(22000). 10 earnings(25000, steady). 11 dependents(3). Question: investment(S). A The Financial Advisor Example 1 savings account(inadequate) investment(savings). 21 savings account(adequate) , income(adequate) investment(stocks). 3 savings account(adequate) , income(inadequate) investment(combination). 4. Vamount_saved(X)^3 Y (dependents(Y) ^ greater(X, minsavings(Y))) savings account(adequate). 5 V X amount_saved(x) ^ 3 Y (dependents(Y) ^ - greater(X, minsavings(Y))) savings account(inadequate). 6. VX earnings(X, steady) ^ 3 Y (dependents (Y) ^ greater(X, minincome(Y))) income(adequate). 7 V X earnings(X, steady) ^ 3 Y (dependents(Y) -greater(X, minincome(Y))) income(inadequate). 8. X earnings(X, unsteady) income(inadequate). 9 amount_saved(22000). 10 earnings(25000, steady). 11 dependents(3). Question: investment(S). A