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