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