The bald eagle likes the tiger. The bear needs the tiger. The mouse likes the tiger. The tiger visits the bear. If someone needs the bald eagle and they like the tiger then they need the mouse. If someone visits the bald eagle then they are nice. If someone needs the tiger then they are round.
The bald eagle does not need the mouse.
@0: The bald eagle likes the tiger.[(triple1)] The bear needs the tiger.[(triple2)] The mouse likes the tiger.[(triple3)] The tiger visits the bear.[(triple4)] @1: The bear is round.[(((triple2) -> rule3))]