The mouse is big. If something is green and big then it is nice. If something is big then it is green.
The mouse is not nice.
@0: The mouse is big.[(triple1)] @1: The mouse is green.[(((triple1) -> rule2))] @2: The mouse is nice.[(((((triple1) -> rule2) triple1) -> rule1))]