The mouse is green. Red people are blue. If someone is blue then they are kind. If the mouse is green then the mouse is red.
The mouse eats the mouse.
@0: The mouse is green.[(triple1)] @1: The mouse is red.[(((triple1) -> rule3))] @2: The mouse is blue.[(((((triple1) -> rule3)) -> rule1))] @3: The mouse is kind.[(((((((triple1) -> rule3)) -> rule1)) -> rule2))]