The mouse is cold. If something is cold then it is blue. Cold, blue things are green. All green, blue things are kind. If the mouse is blue and the mouse is kind then the mouse is green. All blue things are cold. All big, blue things are kind. All green things are blue. Big, green things are kind.
The mouse does not chase the mouse.
@0: The mouse is cold.[(triple1)] @1: The mouse is blue.[(((triple1) -> rule1))] @2: The mouse is green.[(((triple1 ((triple1) -> rule1)) -> rule2))] @3: The mouse is kind.[(((((triple1 ((triple1) -> rule1)) -> rule2) ((triple1) -> rule1)) -> rule3))]