The mouse is big. If the mouse is rough then the mouse is kind. Big things are rough. If the mouse is not kind then the mouse is not green.
The mouse is blue.
@0: The mouse is big.[(triple1)] @1: The mouse is rough.[(((triple1) -> rule2))] @2: The mouse is kind.[(((((triple1) -> rule2)) -> rule1))]