The cow chases the mouse. The cow chases the squirrel. The cow is blue. The cow is cold. The cow is red. The cow is not young. The cow visits the mouse. The mouse chases the cow. The mouse chases the squirrel. The mouse does not eat the cow. The mouse does not visit the squirrel. The squirrel chases the mouse. The squirrel eats the cow. The squirrel is blue. The squirrel is cold. The squirrel does not visit the mouse. If something visits the mouse then the mouse is young. If something is young and it eats the cow then the cow chases the mouse. If something chases the mouse and the mouse is young then it is red.
The squirrel does not eat the squirrel.
@0: The cow chases the mouse.[(triple1)] The cow chases the squirrel.[(triple2)] The cow is blue.[(triple3)] The cow is cold.[(triple4)] The cow is not young.[(triple6)] The cow is red.[(triple5 OR ((triple1 ((triple7) -> rule1)) -> rule3))] The cow visits the mouse.[(triple7)] The mouse chases the cow.[(triple8)] The mouse chases the squirrel.[(triple9)] The mouse does not eat the cow.[(triple10)] The mouse does not visit the squirrel.[(triple11)] The squirrel chases the mouse.[(triple12)] The squirrel does not visit the mouse.[(triple16)] The squirrel eats the cow.[(triple13)] The squirrel is blue.[(triple14)] The squirrel is cold.[(triple15)] @1: The mouse is young.[(((triple7) -> rule1))] @2: The squirrel is red.[(((triple12 ((triple7) -> rule1)) -> rule3))]