The bald eagle chases the dog. The bald eagle eats the dog. The bald eagle is round. The bald eagle sees the dog. The dog chases the bald eagle. The dog eats the bald eagle. The dog is green. The dog is not kind. The dog is red. The dog is rough. The dog is round. The dog sees the bald eagle. If something eats the bald eagle then it chases the bald eagle. If the dog is red and the dog does not eat the bald eagle then the dog does not see the bald eagle. If something sees the bald eagle and it sees the dog then the bald eagle eats the dog. If the dog sees the bald eagle then the dog chases the bald eagle. If something chases the dog and it sees the bald eagle then the bald eagle is green. If something eats the dog then it is rough. If something eats the dog then it sees the bald eagle. If something eats the dog then the dog is green.
The dog does not eat the bald eagle.
@0: The bald eagle chases the dog.[(triple1)] The bald eagle eats the dog.[(triple2)] The bald eagle is round.[(triple3)] The bald eagle sees the dog.[(triple4)] The dog chases the bald eagle.[(triple5 OR ((triple12) -> rule4) OR ((triple6) -> rule1))] The dog eats the bald eagle.[(triple6)] The dog is green.[(triple7 OR ((triple2) -> rule8))] The dog is not kind.[(triple8)] The dog is red.[(triple9)] The dog is rough.[(triple10)] The dog is round.[(triple11)] The dog sees the bald eagle.[(triple12)] @1: The bald eagle is rough.[(((triple2) -> rule6))] The bald eagle sees the bald eagle.[(((triple2) -> rule7))] @2: The bald eagle is green.[(((triple1 ((triple2) -> rule7)) -> rule5))]