The cat is rough. The lion needs the cat. The rabbit needs the lion. If something needs the cat and it visits the lion then it eats the lion. If something visits the cat then it visits the rabbit. If the lion visits the cat then the cat is nice. If the rabbit eats the lion and the rabbit visits the lion then the lion needs the cat. If something visits the lion then it visits the rabbit. If something needs the cat then it eats the cat. If something needs the lion then the lion visits the cat. If the lion is cold then the lion visits the rabbit.
The cat is rough.
@0: The cat is rough.[(triple1)] The lion needs the cat.[(triple2)] The rabbit needs the lion.[(triple3)] @1: The lion eats the cat.[(((triple2) -> rule6))] The lion visits the cat.[(((triple3) -> rule7))] @2: The cat is nice.[(((((triple3) -> rule7)) -> rule3))] The lion visits the rabbit.[(((((triple3) -> rule7)) -> rule2))]