The cat visits the lion. The lion visits the cat. If the lion visits the cat and the lion is big then the cat chases the lion. If someone chases the lion then the lion is young. If someone visits the cat and the cat visits the lion then the lion is big.
The cat is not cold.
@0: The cat visits the lion.[(triple1)] The lion visits the cat.[(triple2)] @1: The lion is big.[(((triple2 triple1) -> rule3))] @2: The cat chases the lion.[(((triple2 ((triple2 triple1) -> rule3)) -> rule1))] @3: The lion is young.[(((((triple2 ((triple2 triple1) -> rule3)) -> rule1)) -> rule2))]