The cow is green. The lion eats the cow. The lion is big. If someone eats the cow then the cow eats the lion. If someone eats the lion then they see the cow. If the cow sees the lion then the cow likes the lion.
The lion is round.
@0: The cow is green.[(triple1)] The lion eats the cow.[(triple2)] The lion is big.[(triple3)] @1: The cow eats the lion.[(((triple2) -> rule1))] @2: The cow sees the cow.[(((((triple2) -> rule1)) -> rule2))]