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