The cow is young. The cow needs the lion. The lion is big. If someone sees the lion then the lion needs the cow. If someone visits the cow then the cow visits the lion. If the cow needs the lion then the cow sees the lion.
The cow does not visit the lion.
@0: The cow is young.[(triple1)] The cow needs the lion.[(triple2)] The lion is big.[(triple3)] @1: The cow sees the lion.[(((triple2) -> rule3))] @2: The lion needs the cow.[(((((triple2) -> rule3)) -> rule1))]