The bald eagle chases the tiger. The bald eagle visits the tiger. The mouse chases the tiger. The mouse does not need the bald eagle. The mouse needs the tiger. The tiger chases the bald eagle. The tiger visits the mouse. If the bald eagle does not chase the mouse then the bald eagle does not visit the mouse. If something needs the mouse and it visits the tiger then the mouse does not visit the bald eagle. If something needs the tiger then the tiger is green.
The mouse does not need the tiger.
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle visits the tiger.[(triple2)] The mouse chases the tiger.[(triple3)] The mouse does not need the bald eagle.[(triple4)] The mouse needs the tiger.[(triple5)] The tiger chases the bald eagle.[(triple6)] The tiger visits the mouse.[(triple7)] @1: The tiger is green.[(((triple5) -> rule3))]