The mouse is cold. The mouse visits the rabbit. The rabbit is red. The rabbit is rough. The rabbit needs the mouse. The rabbit sees the mouse. The rabbit visits the mouse. If something is round then it needs the rabbit. If something is round then it sees the rabbit. If something sees the rabbit and the rabbit needs the mouse then it is rough. If something visits the mouse then it visits the rabbit. If something is big then it needs the rabbit. If something is red and it needs the mouse then the mouse visits the rabbit.
The mouse does not see the rabbit.
@0: The mouse is cold.[(triple1)] The mouse visits the rabbit.[(triple2 OR ((triple3 triple5) -> rule6))] The rabbit is red.[(triple3)] The rabbit is rough.[(triple4)] The rabbit needs the mouse.[(triple5)] The rabbit sees the mouse.[(triple6)] The rabbit visits the mouse.[(triple7)] @1: The rabbit visits the rabbit.[(((triple7) -> rule4))]