The bald eagle chases the cat. The cat does not chase the bald eagle. The cat eats the bald eagle. The cat is kind. The dog chases the bald eagle. The dog eats the bald eagle. The dog visits the cat. The mouse chases the cat. The mouse chases the dog. The mouse eats the cat. If something eats the bald eagle then the bald eagle is round.
The mouse does not visit the cat.
@0: The bald eagle chases the cat.[(triple1)] The cat does not chase the bald eagle.[(triple2)] The cat eats the bald eagle.[(triple3)] The cat is kind.[(triple4)] The dog chases the bald eagle.[(triple5)] The dog eats the bald eagle.[(triple6)] The dog visits the cat.[(triple7)] The mouse chases the cat.[(triple8)] The mouse chases the dog.[(triple9)] The mouse eats the cat.[(triple10)] @1: The bald eagle is round.[(((triple3) -> rule1) OR ((triple6) -> rule1))]