The lion visits the rabbit. The rabbit likes the lion. If something is cold then it eats the lion. If something likes the rabbit then the rabbit is cold. If something likes the rabbit and it does not eat the lion then it visits the lion. If something is blue and not cold then it does not visit the rabbit. If something visits the lion then it visits the rabbit. If something visits the rabbit then the rabbit visits the lion.
The lion does not visit the lion.
@0: The lion visits the rabbit.[(triple1)] The rabbit likes the lion.[(triple2)] @1: The rabbit visits the lion.[(((triple1) -> rule6))] @2: The rabbit visits the rabbit.[(((((triple1) -> rule6)) -> rule5))]