Recurisve resolution parser; no longer uses long strings (some strings
still used!)
Clauses can hold more than 2 variables