The cat likes the cow. The cat likes the mouse. The cat likes the squirrel. The cow is nice. The cow is red. The cow likes the squirrel. The cow visits the cat. The mouse likes the cat. The mouse likes the cow. The mouse needs the cat. The mouse needs the squirrel. The mouse visits the cat. The mouse visits the cow. The squirrel is blue. The squirrel needs the cow. If something is red then it likes the cow. If the squirrel visits the mouse and the mouse needs the cow then the mouse needs the squirrel. If something likes the mouse and it likes the squirrel then it needs the cow.
The mouse visits the squirrel.
@0: The cat likes the cow.[(triple1)] The cat likes the mouse.[(triple2)] The cat likes the squirrel.[(triple3)] The cow is nice.[(triple4)] The cow is red.[(triple5)] The cow likes the squirrel.[(triple6)] The cow visits the cat.[(triple7)] The mouse likes the cat.[(triple8)] The mouse likes the cow.[(triple9)] The mouse needs the cat.[(triple10)] The mouse needs the squirrel.[(triple11)] The mouse visits the cat.[(triple12)] The mouse visits the cow.[(triple13)] The squirrel is blue.[(triple14)] The squirrel needs the cow.[(triple15)] @1: The cat needs the cow.[(((triple2 triple3) -> rule3))] The cow likes the cow.[(((triple5) -> rule1))]