The cat is round. The lion likes the cat. If someone is round then they eat the lion.
The lion does not eat the lion.
@0: The cat is round.[(triple1)] The lion likes the cat.[(triple2)] @1: The cat eats the lion.[(((triple1) -> rule1))]