The cow eats the mouse. The cow eats the squirrel. The cow is green. The cow is kind. The cow likes the squirrel. The dog visits the mouse. The mouse eats the dog. The mouse is big. The mouse likes the squirrel. The mouse visits the cow. The squirrel is blue. The squirrel is rough. The squirrel likes the mouse. The squirrel visits the cow. The squirrel visits the dog. The squirrel visits the mouse. If something is blue and rough then it eats the cow.
The cow eats the mouse.
@0: The cow eats the mouse.[(triple1)] The cow eats the squirrel.[(triple2)] The cow is green.[(triple3)] The cow is kind.[(triple4)] The cow likes the squirrel.[(triple5)] The dog visits the mouse.[(triple6)] The mouse eats the dog.[(triple7)] The mouse is big.[(triple8)] The mouse likes the squirrel.[(triple9)] The mouse visits the cow.[(triple10)] The squirrel is blue.[(triple11)] The squirrel is rough.[(triple12)] The squirrel likes the mouse.[(triple13)] The squirrel visits the cow.[(triple14)] The squirrel visits the dog.[(triple15)] The squirrel visits the mouse.[(triple16)] @1: The squirrel eats the cow.[(((triple11 triple12) -> rule1))]