The bald eagle visits the bear. The bear chases the bald eagle. The tiger visits the bald eagle. If something sees the tiger then it is kind. If something chases the bald eagle then the bald eagle chases the tiger. If something sees the bald eagle and the bald eagle chases the bear then the bear visits the tiger. If something chases the bear then it is cold. If something visits the bear and it is red then it chases the tiger. If something chases the bald eagle and the bald eagle sees the tiger then the tiger sees the bald eagle. If something chases the tiger then it sees the tiger. If something chases the bear then the bear is cold.
The bald eagle does not chase the tiger.
@0: The bald eagle visits the bear.[(triple1)] The bear chases the bald eagle.[(triple2)] The tiger visits the bald eagle.[(triple3)] @1: The bald eagle chases the tiger.[(((triple2) -> rule2))] @2: The bald eagle sees the tiger.[(((((triple2) -> rule2)) -> rule7))] @3: The bald eagle is kind.[(((((((triple2) -> rule2)) -> rule7)) -> rule1))] The tiger sees the bald eagle.[(((triple2 ((((triple2) -> rule2)) -> rule7)) -> rule6))]