The bear sees the mouse. The mouse sees the bear. If someone is young then they are green. If someone sees the mouse and the mouse sees the bear then they are green. All big people are not green. If someone sees the bear and they are cold then the bear is not young. If someone sees the mouse then they like the mouse. If someone likes the mouse then the mouse is cold.
The bear does not like the bear.
@0: The bear sees the mouse.[(triple1)] The mouse sees the bear.[(triple2)] @1: The bear is green.[(((triple1 triple2) -> rule2))] The bear likes the mouse.[(((triple1) -> rule5))] @2: The mouse is cold.[(((((triple1) -> rule5)) -> rule6))] @3: The bear is not young.[(((triple2 ((((triple1) -> rule5)) -> rule6)) -> rule4))]