The cat likes the tiger. The lion likes the cat. The tiger eats the lion. If someone eats the lion then they are big.
The lion is big.
@0: The cat likes the tiger.[(triple1)] The lion likes the cat.[(triple2)] The tiger eats the lion.[(triple3)] @1: The tiger is big.[(((triple3) -> rule1))]