Gary is blue. Gary is furry. Gary is not rough. Blue things are green. If Gary is young and Gary is green then Gary is furry. Green things are white. Green, white things are cold. All cold, rough things are furry. If something is green and not white then it is furry.
Gary is green.
@0: Gary is blue.[(triple1)] Gary is furry.[(triple2)] Gary is not rough.[(triple3)] @1: Gary is green.[(((triple1) -> rule1))] @2: Gary is white.[(((((triple1) -> rule1)) -> rule3))] @3: Gary is cold.[(((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule3)) -> rule4))]