The bald eagle visits the dog. The bear visits the bald eagle. The dog does not eat the bald eagle. The dog does not eat the bear. The dog is blue. The dog is nice. The dog sees the bald eagle. If something visits the bald eagle then it is red. If the bald eagle eats the dog and the bald eagle sees the dog then the dog sees the bear. If something eats the bald eagle then the bald eagle does not see the bear. If something visits the bear then the bear eats the bald eagle. If something eats the bear and it does not visit the bald eagle then the bald eagle eats the bear. If something sees the bear then it does not eat the bear. If something eats the bald eagle and it is not red then it visits the bear. If something is red then it visits the bear.
The bald eagle does not eat the bear.
@0: The bald eagle visits the dog.[(triple1)] The bear visits the bald eagle.[(triple2)] The dog does not eat the bald eagle.[(triple3)] The dog does not eat the bear.[(triple4)] The dog is blue.[(triple5)] The dog is nice.[(triple6)] The dog sees the bald eagle.[(triple7)] @1: The bear is red.[(((triple2) -> rule1))] @2: The bear visits the bear.[(((((triple2) -> rule1)) -> rule8))] @3: The bear eats the bald eagle.[(((((((triple2) -> rule1)) -> rule8)) -> rule4))] @4: The bald eagle does not see the bear.[(((((((((triple2) -> rule1)) -> rule8)) -> rule4)) -> rule3))]