The cat eats the squirrel. The cat is blue. The cat is cold. The cat is red. The cat is rough. The cat is young. The cat needs the squirrel. The cat visits the squirrel. The squirrel eats the cat. The squirrel is blue. The squirrel is cold. The squirrel is red. The squirrel is rough. The squirrel needs the cat. The squirrel visits the cat. If something needs the squirrel and it eats the squirrel then it eats the cat. If something visits the squirrel then the squirrel is blue.
The squirrel does not need the squirrel.
@0: The cat eats the squirrel.[(triple1)] The cat is blue.[(triple2)] The cat is cold.[(triple3)] The cat is red.[(triple4)] The cat is rough.[(triple5)] The cat is young.[(triple6)] The cat needs the squirrel.[(triple7)] The cat visits the squirrel.[(triple8)] The squirrel eats the cat.[(triple9)] The squirrel is blue.[(triple10 OR ((triple8) -> rule2))] The squirrel is cold.[(triple11)] The squirrel is red.[(triple12)] The squirrel is rough.[(triple13)] The squirrel needs the cat.[(triple14)] The squirrel visits the cat.[(triple15)] @1: The cat eats the cat.[(((triple7 triple1) -> rule1))]