The bear visits the mouse. The mouse likes the bear. If the bear visits the mouse then the mouse is big. If the bear visits the mouse and the mouse is not big then the bear does not see the mouse. If something sees the mouse then it visits the bear. If something is big then it visits the bear. If the bear does not see the mouse then the mouse visits the bear. If something is big and it likes the mouse then it likes the bear. If the mouse visits the bear and the bear is red then the bear likes the mouse. If the mouse visits the bear then the bear likes the mouse.
The mouse is not big.
@0: The bear visits the mouse.[(triple1)] The mouse likes the bear.[(triple2)] @1: The mouse is big.[(((triple1) -> rule1))] @2: The mouse visits the bear.[(((((triple1) -> rule1)) -> rule4))] @3: The bear likes the mouse.[(((((((triple1) -> rule1)) -> rule4)) -> rule8))]