The mouse is red. All red things are kind. Kind things are rough. Rough things are big.
The mouse does not see the mouse.
@0: The mouse is red.[(triple1)] @1: The mouse is kind.[(((triple1) -> rule1))] @2: The mouse is rough.[(((((triple1) -> rule1)) -> rule2))] @3: The mouse is big.[(((((((triple1) -> rule1)) -> rule2)) -> rule3))]