The mouse is cold. If something is big then it is blue. All blue things are kind. Cold things are big.
The mouse does not chase the mouse.
@0: The mouse is cold.[(triple1)] @1: The mouse is big.[(((triple1) -> rule3))] @2: The mouse is blue.[(((((triple1) -> rule3)) -> rule1))] @3: The mouse is kind.[(((((((triple1) -> rule3)) -> rule1)) -> rule2))]