The cat eats the lion. The lion eats the cat. If the cat is blue then the cat is nice. If someone is blue then they chase the cat. If someone is nice then they eat the lion. If someone needs the lion and the lion needs the cat then the lion is blue. If the lion eats the cat then the lion is blue. If someone eats the cat and the cat is blue then the cat is round.
The cat needs the cat.
@0: The cat eats the lion.[(triple1)] The lion eats the cat.[(triple2)] @1: The lion is blue.[(((triple2) -> rule5))] @2: The lion chases the cat.[(((((triple2) -> rule5)) -> rule2))]