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