Gary is cold. All blue people are rough. If someone is blue and not white then they are rough. If someone is rough and not white then they are furry. If someone is cold then they are furry. Furry people are blue. If someone is rough and not green then they are cold.
Gary is not rough.
@0: Gary is cold.[(triple1)] @1: Gary is furry.[(((triple1) -> rule4))] @2: Gary is blue.[(((((triple1) -> rule4)) -> rule5))] @3: Gary is rough.[(((((((triple1) -> rule4)) -> rule5)) -> rule1))]