The cat does not chase the dog. The cat eats the dog. The cat eats the squirrel. The dog chases the cat. The dog eats the cat. The dog eats the squirrel. The dog is big. The dog is red. The dog likes the cat. The squirrel likes the dog. If someone eats the dog and the dog is rough then they like the squirrel. If someone chases the squirrel and the squirrel chases the cat then the squirrel does not chase the dog. If someone likes the squirrel and they like the cat then the squirrel is not red. If someone is big and not rough then they chase the cat. If someone likes the cat then they eat the squirrel. If someone is big then they eat the dog. If the cat eats the dog then the cat likes the dog. If the squirrel eats the cat and the squirrel is not red then the cat likes the dog.
The squirrel eats the dog.
@0: The cat does not chase the dog.[(triple1)] The cat eats the dog.[(triple2)] The cat eats the squirrel.[(triple3)] The dog chases the cat.[(triple4)] The dog eats the cat.[(triple5)] The dog eats the squirrel.[(triple6 OR ((triple9) -> rule5))] The dog is big.[(triple7)] The dog is red.[(triple8)] The dog likes the cat.[(triple9)] The squirrel likes the dog.[(triple10)] @1: The cat likes the dog.[(((triple2) -> rule7))] The dog eats the dog.[(((triple7) -> rule6))]