The bald eagle visits the dog. The dog is blue. The dog is green. The dog is not nice. The tiger is blue. The tiger does not see the dog. The tiger visits the bald eagle. If someone eats the tiger and the tiger eats the bald eagle then the bald eagle is nice. If someone visits the bald eagle then the bald eagle does not eat the tiger.
The tiger visits the bald eagle.
@0: The bald eagle visits the dog.[(triple1)] The dog is blue.[(triple2)] The dog is green.[(triple3)] The dog is not nice.[(triple4)] The tiger does not see the dog.[(triple6)] The tiger is blue.[(triple5)] The tiger visits the bald eagle.[(triple7)] @1: The bald eagle does not eat the tiger.[(((triple7) -> rule2))]