The cat chases the squirrel. The cat eats the squirrel. The cat is green. The cat is nice. The cat is red. The cat is not young. The cat does not need the squirrel. The squirrel chases the cat. The squirrel is green. The squirrel is kind. If someone needs the squirrel and the squirrel is young then they are not nice. If someone is green then they eat the cat. If someone chases the cat then the cat eats the squirrel. If someone chases the cat and they need the cat then they do not chase the squirrel. If someone chases the cat and they are not nice then the cat does not chase the squirrel. If someone chases the squirrel then the squirrel needs the cat.
The squirrel does not eat the cat.
@0: The cat chases the squirrel.[(triple1)] The cat does not need the squirrel.[(triple7)] The cat eats the squirrel.[(triple2 OR ((triple8) -> rule3))] The cat is green.[(triple3)] The cat is nice.[(triple4)] The cat is not young.[(triple6)] The cat is red.[(triple5)] The squirrel chases the cat.[(triple8)] The squirrel is green.[(triple9)] The squirrel is kind.[(triple10)] @1: The cat eats the cat.[(((triple3) -> rule2))] The squirrel eats the cat.[(((triple9) -> rule2))] The squirrel needs the cat.[(((triple1) -> rule6))] @2: The squirrel does not chase the squirrel.[(((triple8 ((triple1) -> rule6)) -> rule4))]