The bear sees the mouse. The mouse is cold. If someone is rough and they need the mouse then the mouse does not see the bear. If someone visits the mouse then the mouse needs the bear. If someone visits the mouse then the mouse needs the bear. If the mouse visits the bear then the bear does not visit the mouse. If someone sees the mouse and the mouse needs the bear then the bear is round. If someone is cold then they visit the mouse.
The bear is not cold.
@0: The bear sees the mouse.[(triple1)] The mouse is cold.[(triple2)] @1: The mouse visits the mouse.[(((triple2) -> rule6))] @2: The mouse needs the bear.[(((((triple2) -> rule6)) -> rule2) OR ((((triple2) -> rule6)) -> rule3))] @3: The bear is round.[(((triple1 ((((triple2) -> rule6)) -> rule2)) -> rule5) OR ((triple1 ((((triple2) -> rule6)) -> rule3)) -> rule5))]