The cat is big. The lion eats the cat. The squirrel eats the cat. If someone is big then they do not see the lion. If someone sees the lion and they eat the cat then the cat does not like the lion.
The lion eats the cat.
@0: The cat is big.[(triple1)] The lion eats the cat.[(triple2)] The squirrel eats the cat.[(triple3)] @1: The cat does not see the lion.[(((triple1) -> rule1))]