The bald eagle needs the tiger. The bear needs the bald eagle. The mouse chases the bear. The tiger sees the bald eagle. If something needs the tiger and the tiger is round then the tiger is green. If something chases the bald eagle then it sees the bald eagle. If something needs the bald eagle then it needs the tiger.
The tiger is not green.
@0: The bald eagle needs the tiger.[(triple1)] The bear needs the bald eagle.[(triple2)] The mouse chases the bear.[(triple3)] The tiger sees the bald eagle.[(triple4)] @1: The bear needs the tiger.[(((triple2) -> rule3))]