The mouse is green. The mouse is kind. The mouse is round. If something is cold and kind then it is nice. If the mouse is round then the mouse is cold.
The mouse is not cold.
@0: The mouse is green.[(triple1)] The mouse is kind.[(triple2)] The mouse is round.[(triple3)] @1: The mouse is cold.[(((triple3) -> rule2))] @2: The mouse is nice.[(((((triple3) -> rule2) triple2) -> rule1))]