The mouse is red. If something is red then it is not young. If the mouse is red and the mouse is not young then the mouse is not rough.
The mouse does not see the mouse.
@0: The mouse is red.[(triple1)] @1: The mouse is not young.[(((triple1) -> rule1))] @2: The mouse is not rough.[(((triple1 ((triple1) -> rule1)) -> rule2))]