The cat visits the lion. The lion chases the cat. If something chases the cat then the cat is big. If something needs the lion and it chases the lion then it needs the cat.
The cat visits the cat.
@0: The cat visits the lion.[(triple1)] The lion chases the cat.[(triple2)] @1: The cat is big.[(((triple2) -> rule1))]