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 tiger does not eat the lion.
@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))]