The bald eagle visits the bear. The bear eats the bald eagle. The bear sees the dog. The bear visits the dog. The dog is blue. The tiger sees the bear. The tiger visits the bear. If the tiger sees the bear then the tiger eats the dog. If something visits the bald eagle then it eats the bald eagle. If something eats the tiger and it eats the bald eagle then the tiger is round. If something is kind then it visits the bald eagle. If something visits the tiger and the tiger does not see the dog then the dog is cold. If something sees the bear then it is kind.
The tiger does not eat the bald eagle.
@0: The bald eagle visits the bear.[(triple1)] The bear eats the bald eagle.[(triple2)] The bear sees the dog.[(triple3)] The bear visits the dog.[(triple4)] The dog is blue.[(triple5)] The tiger sees the bear.[(triple6)] The tiger visits the bear.[(triple7)] @1: The tiger eats the dog.[(((triple6) -> rule1))] The tiger is kind.[(((triple6) -> rule6))] @2: The tiger visits the bald eagle.[(((((triple6) -> rule6)) -> rule4))] @3: The tiger eats the bald eagle.[(((((((triple6) -> rule6)) -> rule4)) -> rule2))]