First attempt at structuring the actual solve
Rule -> Clause