The cat does not eat the lion. The lion eats the cat. The rabbit eats the lion. If something visits the lion and the lion does not see the rabbit then it is not green. If something visits the cat then the cat is rough. If the rabbit eats the lion then the lion eats the rabbit. If the lion is rough then the lion visits the cat. If the rabbit eats the cat and the rabbit is not round then the cat sees the lion. If the cat eats the lion and the lion visits the cat then the lion is green. If something eats the rabbit then it visits the cat. If something is rough and it does not eat the rabbit then it is young.
The lion eats the rabbit.
@0: The cat does not eat the lion.[(triple1)] The lion eats the cat.[(triple2)] The rabbit eats the lion.[(triple3)] @1: The lion eats the rabbit.[(((triple3) -> rule3))] @2: The lion visits the cat.[(((((triple3) -> rule3)) -> rule7))] @3: The cat is rough.[(((((((triple3) -> rule3)) -> rule7)) -> rule2))]