Gary is green. Gary is red. Gary is not white. Smart, green things are white. If something is red then it is round.
Gary is furry.
@0: Gary is green.[(triple1)] Gary is not white.[(triple3)] Gary is red.[(triple2)] @1: Gary is round.[(((triple2) -> rule2))]