The mouse is green. The mouse is kind. The mouse is round. Round, blue people are green. Round people are blue.
The mouse does not eat the mouse.
@0: The mouse is green.[(triple1 OR ((triple3 ((triple3) -> rule2)) -> rule1))] The mouse is kind.[(triple2)] The mouse is round.[(triple3)] @1: The mouse is blue.[(((triple3) -> rule2))]