The lion visits the rabbit. The rabbit does not eat the lion. If the rabbit is not cold then the rabbit eats the lion. If something eats the rabbit then the rabbit chases the lion. If something visits the lion then the lion eats the rabbit. If something chases the rabbit and the rabbit eats the lion then the lion does not eat the rabbit. If something chases the rabbit then it does not visit the rabbit. If something visits the rabbit then it is big. If something is big then it eats the rabbit. If something chases the lion then it chases the rabbit.
The lion is not big.
@0: The lion visits the rabbit.[(triple1)] The rabbit does not eat the lion.[(triple2)] @1: The lion is big.[(((triple1) -> rule6))] @2: The lion eats the rabbit.[(((((triple1) -> rule6)) -> rule7))] @3: The rabbit chases the lion.[(((((((triple1) -> rule6)) -> rule7)) -> rule2))] @4: The rabbit chases the rabbit.[(((((((((triple1) -> rule6)) -> rule7)) -> rule2)) -> rule8))] @5: The rabbit does not visit the rabbit.[(((((((((((triple1) -> rule6)) -> rule7)) -> rule2)) -> rule8)) -> rule5))]