The bald eagle chases the cat. The bald eagle does not eat the cat. The bald eagle is not round. The bald eagle visits the squirrel. The cat is round. The dog chases the bald eagle. The dog is not big. The squirrel chases the cat. The squirrel does not eat the bald eagle. The squirrel does not visit the bald eagle. The squirrel visits the cat. The squirrel visits the dog. If the bald eagle chases the squirrel then the bald eagle chases the cat. If the cat does not visit the dog then the dog visits the squirrel. If the cat visits the dog and the cat is big then the cat does not chase the squirrel. If someone is rough then they chase the dog. If someone eats the bald eagle then they eat the cat. Round people are not red. If someone chases the bald eagle then the bald eagle visits the squirrel. If someone visits the dog and they chase the cat then they are rough.
The squirrel does not eat the cat.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle does not eat the cat.[(triple2)] The bald eagle is not round.[(triple3)] The bald eagle visits the squirrel.[(triple4 OR ((triple6) -> rule7))] The cat is round.[(triple5)] The dog chases the bald eagle.[(triple6)] The dog is not big.[(triple7)] The squirrel chases the cat.[(triple8)] The squirrel does not eat the bald eagle.[(triple9)] The squirrel does not visit the bald eagle.[(triple10)] The squirrel visits the cat.[(triple11)] The squirrel visits the dog.[(triple12)] @1: The cat is not red.[(((triple5) -> rule6))] The squirrel is rough.[(((triple12 triple8) -> rule8))] @2: The squirrel chases the dog.[(((((triple12 triple8) -> rule8)) -> rule4))]