The cat eats the squirrel. The cat is blue. The dog needs the squirrel. The squirrel chases the dog. The squirrel eats the dog. The squirrel is big. The squirrel does not need the cat. If someone needs the squirrel and the squirrel eats the dog then they are red. Big people are red. If someone chases the cat and they do not chase the dog then the dog does not chase the squirrel. If someone is red then they chase the cat. If someone chases the squirrel and they eat the squirrel then they eat the cat. If someone chases the cat and the cat does not need the dog then the dog is nice.
The cat eats the dog.
@0: The cat eats the squirrel.[(triple1)] The cat is blue.[(triple2)] The dog needs the squirrel.[(triple3)] The squirrel chases the dog.[(triple4)] The squirrel does not need the cat.[(triple7)] The squirrel eats the dog.[(triple5)] The squirrel is big.[(triple6)] @1: The dog is red.[(((triple3 triple5) -> rule1))] The squirrel is red.[(((triple6) -> rule2))] @2: The dog chases the cat.[(((((triple3 triple5) -> rule1)) -> rule4))] The squirrel chases the cat.[(((((triple6) -> rule2)) -> rule4))]