The cat needs the squirrel. The cat sees the mouse. The cat visits the cow. The cow sees the cat. The cow visits the mouse. The cow visits the squirrel. The mouse is blue. The mouse visits the cow. The squirrel needs the cat. The squirrel sees the cat. If something is blue then it sees the mouse. If something visits the mouse and it is nice then it sees the cow. If something sees the mouse then it needs the cow. If something needs the cow and it sees the squirrel then it is green. If something needs the cat then the cat sees the squirrel. If the cat needs the mouse and the mouse needs the cow then the cow visits the cat.
The cat visits the cow.
@0: The cat needs the squirrel.[(triple1)] The cat sees the mouse.[(triple2)] The cat visits the cow.[(triple3)] The cow sees the cat.[(triple4)] The cow visits the mouse.[(triple5)] The cow visits the squirrel.[(triple6)] The mouse is blue.[(triple7)] The mouse visits the cow.[(triple8)] The squirrel needs the cat.[(triple9)] The squirrel sees the cat.[(triple10)] @1: The cat needs the cow.[(((triple2) -> rule3))] The cat sees the squirrel.[(((triple9) -> rule5))] The mouse sees the mouse.[(((triple7) -> rule1))] @2: The cat is green.[(((((triple2) -> rule3) ((triple9) -> rule5)) -> rule4))] The mouse needs the cow.[(((((triple7) -> rule1)) -> rule3))]