The cat chases the squirrel. The cat eats the squirrel. The cat is cold. The squirrel chases the tiger. The squirrel eats the cat. The squirrel visits the cat. The squirrel visits the tiger. The tiger chases the cat. The tiger eats the cat. The tiger is rough. If something chases the cat then it chases the squirrel. If something visits the cat then the cat eats the tiger. If something chases the cat and it eats the tiger then the cat visits the tiger. If something eats the squirrel and it is cold then the squirrel is green. If something chases the cat and it visits the cat then it is round. If something is rough and it visits the cat then it is cold. If something visits the squirrel and the squirrel visits the tiger then the squirrel is rough. If something is cold and it eats the squirrel then the squirrel visits the tiger.
The cat is not round.
@0: The cat chases the squirrel.[(triple1)] The cat eats the squirrel.[(triple2)] The cat is cold.[(triple3)] The squirrel chases the tiger.[(triple4)] The squirrel eats the cat.[(triple5)] The squirrel visits the cat.[(triple6)] The squirrel visits the tiger.[(triple7 OR ((triple3 triple2) -> rule8))] The tiger chases the cat.[(triple8)] The tiger eats the cat.[(triple9)] The tiger is rough.[(triple10)] @1: The cat eats the tiger.[(((triple6) -> rule2))] The squirrel is green.[(((triple2 triple3) -> rule4))] The tiger chases the squirrel.[(((triple8) -> rule1))]