The cow is young. The lion likes the cow. If the lion is young and the lion sees the cow then the lion eats the cow. If something sees the lion then it does not eat the lion. If something likes the cow then the cow sees the lion.
The lion is kind.
@0: The cow is young.[(triple1)] The lion likes the cow.[(triple2)] @1: The cow sees the lion.[(((triple2) -> rule3))] @2: The cow does not eat the lion.[(((((triple2) -> rule3)) -> rule2))]