The mouse is cold. The mouse is nice. The mouse is rough. If something is rough and big then it is red. All rough things are big.
The mouse is big.
@0: The mouse is cold.[(triple1)] The mouse is nice.[(triple2)] The mouse is rough.[(triple3)] @1: The mouse is big.[(((triple3) -> rule2))] @2: The mouse is red.[(((triple3 ((triple3) -> rule2)) -> rule1))]