The cat chases the squirrel. The cat eats the squirrel. The cat is big. The cat is green. The cat is red. The cat is rough. The cat visits the squirrel. The squirrel chases the cat. The squirrel eats the cat. The squirrel is big. The squirrel is cold. The squirrel is green. The squirrel is red. The squirrel is rough. The squirrel does not visit the cat. If something eats the squirrel then it eats the cat. If something eats the squirrel then it chases the squirrel. If the squirrel is big then the squirrel is cold. If something is green then it chases the cat. If the squirrel chases the cat then the cat is green. If something visits the squirrel and it is not cold then the squirrel eats the cat.
The squirrel does not visit the cat.
@0: The cat chases the squirrel.[(triple1 OR ((triple2) -> rule2))] The cat eats the squirrel.[(triple2)] The cat is big.[(triple3)] The cat is green.[(triple4 OR ((triple8) -> rule5) OR ((((triple12) -> rule4)) -> rule5))] The cat is red.[(triple5)] The cat is rough.[(triple6)] The cat visits the squirrel.[(triple7)] The squirrel chases the cat.[(triple8 OR ((triple12) -> rule4))] The squirrel does not visit the cat.[(triple15)] The squirrel eats the cat.[(triple9)] The squirrel is big.[(triple10)] The squirrel is cold.[(triple11 OR ((triple10) -> rule3))] The squirrel is green.[(triple12)] The squirrel is red.[(triple13)] The squirrel is rough.[(triple14)] @1: The cat chases the cat.[(((triple4) -> rule4) OR ((((triple8) -> rule5)) -> rule4) OR ((((((triple12) -> rule4)) -> rule5)) -> rule4))] The cat eats the cat.[(((triple2) -> rule1))]