The cat eats the squirrel. The cat is blue. The cat is not cold. The cat is nice. The cat is red. The cat is rough. The cat likes the squirrel. The cat visits the squirrel. The squirrel eats the cat. The squirrel is blue. The squirrel is cold. The squirrel is not nice. The squirrel is rough. The squirrel likes the cat. The squirrel visits the cat. If someone likes the cat then the cat eats the squirrel. If someone is blue then they visit the cat. If someone is nice and they eat the squirrel then they visit the cat. If someone eats the squirrel then the squirrel is not nice. If someone is red and they visit the cat then they do not eat the cat. If the squirrel eats the cat and the squirrel does not visit the cat then the squirrel is not red. If someone likes the squirrel and the squirrel eats the cat then the cat visits the squirrel. If the squirrel likes the cat and the squirrel is nice then the cat visits the squirrel.
The cat does not eat the cat.
@0: The cat eats the squirrel.[(triple1 OR ((triple14) -> rule1))] The cat is blue.[(triple2)] The cat is nice.[(triple4)] The cat is not cold.[(triple3)] The cat is red.[(triple5)] The cat is rough.[(triple6)] The cat likes the squirrel.[(triple7)] The cat visits the squirrel.[(triple8 OR ((triple7 triple9) -> rule7))] The squirrel eats the cat.[(triple9)] The squirrel is blue.[(triple10)] The squirrel is cold.[(triple11)] The squirrel is not nice.[(triple12 OR ((triple1) -> rule4) OR ((((triple14) -> rule1)) -> rule4))] The squirrel is rough.[(triple13)] The squirrel likes the cat.[(triple14)] The squirrel visits the cat.[(triple15 OR ((triple10) -> rule2))] @1: The cat visits the cat.[(((triple2) -> rule2) OR ((triple4 triple1) -> rule3) OR ((triple4 ((triple14) -> rule1)) -> rule3))] @2: The cat does not eat the cat.[(((triple5 ((triple2) -> rule2)) -> rule5) OR ((triple5 ((triple4 triple1) -> rule3)) -> rule5) OR ((triple5 ((triple4 ((triple14) -> rule1)) -> rule3)) -> rule5))]