The mouse is green. The mouse is red. The mouse is young. Young, nice people are green. Red people are nice.
The mouse needs the mouse.
@0: The mouse is green.[(triple1 OR ((triple3 ((triple2) -> rule2)) -> rule1))] The mouse is red.[(triple2)] The mouse is young.[(triple3)] @1: The mouse is nice.[(((triple2) -> rule2))]