The cat eats the squirrel. The cat is big. The cat is blue. The cat is cold. The cat is nice. The cat is red. The cat needs the squirrel. The cat visits the squirrel. The squirrel eats the cat. The squirrel is big. The squirrel is blue. The squirrel is cold. The squirrel is red. The squirrel needs the cat. The squirrel visits the cat. If someone is big then they visit the squirrel. If someone needs the cat and they visit the squirrel then the cat visits the squirrel.
The cat needs the cat.
@0: The cat eats the squirrel.[(triple1)] The cat is big.[(triple2)] The cat is blue.[(triple3)] The cat is cold.[(triple4)] The cat is nice.[(triple5)] The cat is red.[(triple6)] The cat needs the squirrel.[(triple7)] The cat visits the squirrel.[(triple8 OR ((triple2) -> rule1) OR ((triple14 ((triple10) -> rule1)) -> rule2))] The squirrel eats the cat.[(triple9)] The squirrel is big.[(triple10)] The squirrel is blue.[(triple11)] The squirrel is cold.[(triple12)] The squirrel is red.[(triple13)] The squirrel needs the cat.[(triple14)] The squirrel visits the cat.[(triple15)] @1: The squirrel visits the squirrel.[(((triple10) -> rule1))]