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 rough. The cat is young. The cat sees the squirrel. The squirrel eats the cat. The squirrel sees the cat. If someone eats the squirrel and they do not chase the cat then the cat sees the squirrel. All big people are kind. If someone chases the cat and they are young then they are kind. If the squirrel eats the cat and the squirrel does not see the cat then the squirrel is big. If someone is young then they chase the squirrel. If someone is big then they see the squirrel. If someone chases the cat then they eat the squirrel. If the squirrel is rough then the squirrel does not eat the cat.
The squirrel does not see the squirrel.
@0: The cat chases the squirrel.[(triple1 OR ((triple7) -> rule5))] The cat eats the squirrel.[(triple2)] The cat is big.[(triple3)] The cat is cold.[(triple4)] The cat is kind.[(triple5 OR ((triple3) -> rule2))] The cat is rough.[(triple6)] The cat is young.[(triple7)] The cat sees the squirrel.[(triple8 OR ((triple3) -> rule6))] The squirrel eats the cat.[(triple9)] The squirrel sees the cat.[(triple10)]