How would you do data-driven reasoning with resolution? Use this to address the search space of Exercise 1. What problems might arise in a large problem space?

Data from exercise 1

Take the logic-based financial advisor of Section 2.4, put the predicates describing the
problem into clause form, and use resolution refutations to answer queries such as whether
a particular investor should make an investment(combination).