The cat eats the lion. The lion eats the cat. The lion needs the cat. If someone eats the cat and they visit the cat then the cat visits the lion. If someone visits the lion and the lion visits the cat then they are green. If someone visits the lion and the lion visits the cat then the cat needs the lion. If someone needs the lion and they need the cat then the cat is blue. If someone eats the lion then the lion visits the cat. If someone visits the lion and they need the lion then they eat the cat.
The lion does not eat the lion.
@0: The cat eats the lion.[(triple1)] The lion eats the cat.[(triple2)] The lion needs the cat.[(triple3)] @1: The lion visits the cat.[(((triple1) -> rule5))] @2: The cat visits the lion.[(((triple2 ((triple1) -> rule5)) -> rule1))] @3: The cat is green.[(((((triple2 ((triple1) -> rule5)) -> rule1) ((triple1) -> rule5)) -> rule2))] The cat needs the lion.[(((((triple2 ((triple1) -> rule5)) -> rule1) ((triple1) -> rule5)) -> rule3))] @4: The cat eats the cat.[(((((triple2 ((triple1) -> rule5)) -> rule1) ((((triple2 ((triple1) -> rule5)) -> rule1) ((triple1) -> rule5)) -> rule3)) -> rule6))]