The cat sees the cow. The cow chases the cat. The squirrel sees the cat. If something is young then it is blue. If something is green and nice then it chases the cow. If something sees the cat then the cat is blue. If the cat is young and the cat is blue then the cat sees the squirrel. If something eats the squirrel and it eats the cat then the squirrel chases the cow. If something sees the cow then the cow sees the cat. If something sees the cat and it is green then it chases the squirrel. If something eats the cat and the cat is nice then it is rough.
The cow chases the cat.
@0: The cat sees the cow.[(triple1)] The cow chases the cat.[(triple2)] The squirrel sees the cat.[(triple3)] @1: The cat is blue.[(((triple3) -> rule3) OR ((((triple1) -> rule6)) -> rule3))] The cow sees the cat.[(((triple1) -> rule6))]