Gary is green. If something is quiet then it is green. If something is nice then it is cold. If something is green then it is white. If something is white and green then it is nice. All smart, rough things are white. All quiet, nice things are green.
Gary is not white.
@0: Gary is green.[(triple1)] @1: Gary is white.[(((triple1) -> rule3))] @2: Gary is nice.[(((((triple1) -> rule3) triple1) -> rule4))] @3: Gary is cold.[(((((((triple1) -> rule3) triple1) -> rule4)) -> rule2))]