The bald eagle visits the lion. The cow is round. The lion is kind. The squirrel is nice. If someone visits the lion then the lion is round. If the cow is kind and the cow likes the squirrel then the squirrel is nice. If someone is round then they need the cow.
The lion needs the cow.
@0: The bald eagle visits the lion.[(triple1)] The cow is round.[(triple2)] The lion is kind.[(triple3)] The squirrel is nice.[(triple4)] @1: The cow needs the cow.[(((triple2) -> rule3))] The lion is round.[(((triple1) -> rule1))] @2: The lion needs the cow.[(((((triple1) -> rule1)) -> rule3))]