Scheme program that performs forwards chaining on a list of facts and rules to learn all true facts about the domain