The mouse is cold. The mouse is rough. The mouse needs the rabbit. The mouse sees the rabbit. The mouse does not visit the rabbit. The rabbit needs the mouse. The rabbit visits the mouse. If something needs the rabbit then it does not visit the mouse. If something visits the mouse then it is rough. If something is rough and it does not visit the mouse then the mouse is not nice.
The rabbit is not cold.
@0: The mouse does not visit the rabbit.[(triple5)] The mouse is cold.[(triple1)] The mouse is rough.[(triple2)] The mouse needs the rabbit.[(triple3)] The mouse sees the rabbit.[(triple4)] The rabbit needs the mouse.[(triple6)] The rabbit visits the mouse.[(triple7)] @1: The mouse does not visit the mouse.[(((triple3) -> rule1))] The rabbit is rough.[(((triple7) -> rule2))] @2: The mouse is not nice.[(((triple2 ((triple3) -> rule1)) -> rule3))]