Gary is white. White people are furry. If Gary is cold then Gary is green. If someone is rough and not big then they are not cold. If someone is white and not big then they are green. If someone is green then they are white. If Gary is furry then Gary is cold.
Gary is not cold.
@0: Gary is white.[(triple1)] @1: Gary is furry.[(((triple1) -> rule1))] @2: Gary is cold.[(((((triple1) -> rule1)) -> rule6))] @3: Gary is green.[(((((((triple1) -> rule1)) -> rule6)) -> rule2))]