The cat chases the squirrel. The cat eats the squirrel. The cat is blue. The cat is cold. The cat is green. The cat needs the squirrel. The squirrel chases the cat. The squirrel eats the cat. The squirrel is cold. The squirrel is green. The squirrel is red. The squirrel needs the cat. If something needs the squirrel and it chases the cat then it is blue. If something is round then it is red. If something eats the squirrel then the squirrel eats the cat. If the cat is cold then the cat eats the squirrel. If something needs the cat then it chases the squirrel. If something needs the squirrel then the squirrel is red. If something is green and round then it is blue. Green, round things are cold.
The cat is green.
@0: The cat chases the squirrel.[(triple1)] The cat eats the squirrel.[(triple2 OR ((triple4) -> rule4))] The cat is blue.[(triple3)] The cat is cold.[(triple4)] The cat is green.[(triple5)] The cat needs the squirrel.[(triple6)] The squirrel chases the cat.[(triple7)] The squirrel eats the cat.[(triple8 OR ((triple2) -> rule3) OR ((((triple4) -> rule4)) -> rule3))] The squirrel is cold.[(triple9)] The squirrel is green.[(triple10)] The squirrel is red.[(triple11 OR ((triple6) -> rule6))] The squirrel needs the cat.[(triple12)] @1: The squirrel chases the squirrel.[(((triple12) -> rule5))]