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 is kind.
@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))]