The mouse is kind. If the mouse is kind then the mouse is cold. If someone is cold then they are big.
The mouse does not see the mouse.
@0: The mouse is kind.[(triple1)] @1: The mouse is cold.[(((triple1) -> rule1))] @2: The mouse is big.[(((((triple1) -> rule1)) -> rule2))]