The cat eats the cow. The cat is blue. The cat is rough. The cat likes the cow. The cat needs the cow. The cat needs the squirrel. The cow eats the squirrel. The cow is rough. The cow is round. The cow needs the cat. The cow needs the squirrel. The squirrel is red. The squirrel is round. The squirrel likes the cat. The squirrel likes the cow. The squirrel needs the cow. If something eats the cat and the cat is round then the cat eats the squirrel. If something eats the cat then it likes the cow. If something eats the cow and it is green then it likes the squirrel. If something needs the cow and the cow needs the squirrel then it eats the cat. If something is red then it is green. If something eats the cat and it is round then it eats the cow.
The squirrel eats the cow.
@0: The cat eats the cow.[(triple1)] The cat is blue.[(triple2)] The cat is rough.[(triple3)] The cat likes the cow.[(triple4 OR ((((triple5 triple11) -> rule4)) -> rule2))] The cat needs the cow.[(triple5)] The cat needs the squirrel.[(triple6)] The cow eats the squirrel.[(triple7)] The cow is rough.[(triple8)] The cow is round.[(triple9)] The cow needs the cat.[(triple10)] The cow needs the squirrel.[(triple11)] The squirrel is red.[(triple12)] The squirrel is round.[(triple13)] The squirrel likes the cat.[(triple14)] The squirrel likes the cow.[(triple15 OR ((((triple16 triple11) -> rule4)) -> rule2))] The squirrel needs the cow.[(triple16)] @1: The cat eats the cat.[(((triple5 triple11) -> rule4))] The squirrel eats the cat.[(((triple16 triple11) -> rule4))] The squirrel is green.[(((triple12) -> rule5))] @2: The squirrel eats the cow.[(((((triple16 triple11) -> rule4) triple13) -> rule6))] @3: The squirrel likes the squirrel.[(((((((triple16 triple11) -> rule4) triple13) -> rule6) ((triple12) -> rule5)) -> rule3))]