The cat needs the rabbit. The lion is nice. The rabbit needs the cat. If something needs the cat and it eats the cat then it sees the lion. If something needs the rabbit then the rabbit sees the cat. If something eats the lion then the lion is big. If something sees the rabbit and it is young then the rabbit needs the cat. If something needs the lion then the lion is blue. If the rabbit sees the cat then the cat needs the lion. If something eats the rabbit then the rabbit is big. If the lion needs the cat and the lion needs the rabbit then the lion is big.
The lion does not need the lion.
@0: The cat needs the rabbit.[(triple1)] The lion is nice.[(triple2)] The rabbit needs the cat.[(triple3)] @1: The rabbit sees the cat.[(((triple1) -> rule2))] @2: The cat needs the lion.[(((((triple1) -> rule2)) -> rule6))] @3: The lion is blue.[(((((((triple1) -> rule2)) -> rule6)) -> rule5))]