The bear sees the mouse. The mouse is not nice. If someone sees the mouse then they visit the bear. If someone visits the bear and they see the mouse then they are cold.
The bear is not rough.
@0: The bear sees the mouse.[(triple1)] The mouse is not nice.[(triple2)] @1: The bear visits the bear.[(((triple1) -> rule1))] @2: The bear is cold.[(((((triple1) -> rule1) triple1) -> rule2))]