The cow is young. The cow does not like the mouse. The cow likes the squirrel. The cow visits the mouse. The mouse is cold. The mouse is young. The mouse likes the squirrel. The mouse visits the squirrel. The squirrel chases the mouse. The squirrel is young. The squirrel likes the cow. The squirrel visits the cow. If someone chases the mouse then the mouse likes the cow. If someone likes the cow then the cow does not like the mouse. If someone likes the cow and the cow visits the squirrel then the cow does not like the squirrel.
The squirrel is not young.
@0: The cow does not like the mouse.[(triple2 OR ((triple11) -> rule2) OR ((((triple9) -> rule1)) -> rule2))] The cow is young.[(triple1)] The cow likes the squirrel.[(triple3)] The cow visits the mouse.[(triple4)] The mouse is cold.[(triple5)] The mouse is young.[(triple6)] The mouse likes the squirrel.[(triple7)] The mouse visits the squirrel.[(triple8)] The squirrel chases the mouse.[(triple9)] The squirrel is young.[(triple10)] The squirrel likes the cow.[(triple11)] The squirrel visits the cow.[(triple12)] @1: The mouse likes the cow.[(((triple9) -> rule1))]