The cow is blue. The cow is young. The dog chases the cow. The dog does not visit the cow. The mouse does not chase the dog. The mouse chases the squirrel. The mouse visits the cow. The squirrel is blue. The squirrel is rough. The squirrel is young. If someone chases the mouse then they do not see the cow. If someone chases the squirrel then the squirrel chases the mouse.
The dog chases the mouse.
@0: The cow is blue.[(triple1)] The cow is young.[(triple2)] The dog chases the cow.[(triple3)] The dog does not visit the cow.[(triple4)] The mouse chases the squirrel.[(triple6)] The mouse does not chase the dog.[(triple5)] The mouse visits the cow.[(triple7)] The squirrel is blue.[(triple8)] The squirrel is rough.[(triple9)] The squirrel is young.[(triple10)] @1: The squirrel chases the mouse.[(((triple6) -> rule2))] @2: The squirrel does not see the cow.[(((((triple6) -> rule2)) -> rule1))]