The cow does not visit the rabbit. The lion chases the rabbit. The mouse visits the rabbit. The rabbit visits the lion. If the rabbit is kind then the rabbit visits the mouse. If the rabbit chases the mouse and the mouse chases the rabbit then the rabbit does not visit the mouse. If someone visits the mouse and they chase the lion then the lion does not see the rabbit. If someone sees the lion and they do not chase the lion then the lion chases the cow. If someone is kind then they see the mouse. If someone is young then they visit the cow. If the mouse visits the rabbit and the mouse does not see the lion then the mouse is nice. If someone visits the lion then they are young.
The rabbit does not visit the mouse.
@0: The cow does not visit the rabbit.[(triple1)] The lion chases the rabbit.[(triple2)] The mouse visits the rabbit.[(triple3)] The rabbit visits the lion.[(triple4)] @1: The rabbit is young.[(((triple4) -> rule8))] @2: The rabbit visits the cow.[(((((triple4) -> rule8)) -> rule6))]