The bald eagle chases the bear. The bald eagle chases the tiger. The bald eagle is blue. The bald eagle sees the bear. The bald eagle visits the bear. The bald eagle visits the tiger. The bear chases the tiger. The tiger chases the bald eagle. The tiger chases the bear. The tiger is nice. The tiger sees the bear. The tiger visits the bear. If something visits the tiger and it is young then it sees the bald eagle. If something visits the tiger then the tiger is blue. If something is kind and it chases the bear then the bear is nice. If the tiger sees the bald eagle then the bald eagle visits the tiger. If something chases the bear and it chases the bald eagle then the bear sees the tiger. If something is blue and it chases the tiger then it visits the bald eagle. If the tiger is kind then the tiger sees the bear. If something is blue then it chases the tiger.
The tiger visits the bald eagle.
@0: The bald eagle chases the bear.[(triple1)] The bald eagle chases the tiger.[(triple2 OR ((triple3) -> rule8))] The bald eagle is blue.[(triple3)] The bald eagle sees the bear.[(triple4)] The bald eagle visits the bear.[(triple5)] The bald eagle visits the tiger.[(triple6)] The bear chases the tiger.[(triple7)] The tiger chases the bald eagle.[(triple8)] The tiger chases the bear.[(triple9)] The tiger is nice.[(triple10)] The tiger sees the bear.[(triple11)] The tiger visits the bear.[(triple12)] @1: The bald eagle visits the bald eagle.[(((triple3 triple2) -> rule6) OR ((triple3 ((triple3) -> rule8)) -> rule6))] The bear sees the tiger.[(((triple9 triple8) -> rule5))] The tiger is blue.[(((triple6) -> rule2))] @2: The tiger chases the tiger.[(((((triple6) -> rule2)) -> rule8))] @3: The tiger visits the bald eagle.[(((((triple6) -> rule2) ((((triple6) -> rule2)) -> rule8)) -> rule6))]