The cow is rough. The lion visits the cow. If something visits the cow and the cow visits the lion then the lion is nice. If something is rough then it visits the lion.
The lion is big.
@0: The cow is rough.[(triple1)] The lion visits the cow.[(triple2)] @1: The cow visits the lion.[(((triple1) -> rule2))] @2: The lion is nice.[(((triple2 ((triple1) -> rule2)) -> rule1))]