The bald eagle is round. The mouse needs the bald eagle. The rabbit is big. The squirrel visits the bald eagle. If something visits the bald eagle then it needs the bald eagle. If the squirrel needs the bald eagle then the bald eagle is big.
The squirrel does not need the bald eagle.
@0: The bald eagle is round.[(triple1)] The mouse needs the bald eagle.[(triple2)] The rabbit is big.[(triple3)] The squirrel visits the bald eagle.[(triple4)] @1: The squirrel needs the bald eagle.[(((triple4) -> rule1))] @2: The bald eagle is big.[(((((triple4) -> rule1)) -> rule2))]