Gary is cold. If Gary is rough then Gary is white. Big things are smart. White, rough things are furry. Cold things are big. If something is white then it is big. All blue things are smart.
Gary is not cold.
@0: Gary is cold.[(triple1)] @1: Gary is big.[(((triple1) -> rule4))] @2: Gary is smart.[(((((triple1) -> rule4)) -> rule2))]