The bald eagle needs the tiger. The tiger sees the bald eagle. If something visits the bald eagle then the bald eagle sees the tiger. If something visits the bald eagle then the bald eagle sees the tiger. If the tiger needs the bald eagle and the bald eagle does not need the tiger then the bald eagle sees the tiger. If the bald eagle is kind then the bald eagle is young. If something needs the tiger and it visits the bald eagle then the tiger visits the bald eagle. If something needs the tiger then the tiger does not visit the bald eagle. If something sees the bald eagle and it is kind then it is not young. If something visits the bald eagle and the bald eagle sees the tiger then it does not see the bald eagle.
The tiger is blue.
@0: The bald eagle needs the tiger.[(triple1)] The tiger sees the bald eagle.[(triple2)] @1: The tiger does not visit the bald eagle.[(((triple1) -> rule6))]