The mouse sees the rabbit. The rabbit is nice. If the rabbit is round then the rabbit visits the mouse. If someone visits the mouse then they chase the mouse. If someone visits the mouse then the mouse chases the rabbit. If the mouse sees the rabbit then the mouse is cold. If someone visits the mouse and they are not cold then the mouse does not visit the rabbit. If someone is cold then they visit the rabbit. If someone sees the mouse then they do not visit the rabbit. If someone visits the rabbit then the rabbit does not see the mouse.
The mouse does not see the rabbit.
@0: The mouse sees the rabbit.[(triple1)] The rabbit is nice.[(triple2)] @1: The mouse is cold.[(((triple1) -> rule4))] @2: The mouse visits the rabbit.[(((((triple1) -> rule4)) -> rule6))] @3: The rabbit does not see the mouse.[(((((((triple1) -> rule4)) -> rule6)) -> rule8))]