Gary is big. Gary is green. Gary is rough. Nice people are white. All blue, white people are kind. If Gary is kind and Gary is rough then Gary is blue. Nice, white people are big. If someone is white then they are blue. If someone is green and rough then they are white.
Gary is green.
@0: Gary is big.[(triple1)] Gary is green.[(triple2)] Gary is rough.[(triple3)] @1: Gary is white.[(((triple2 triple3) -> rule6))] @2: Gary is blue.[(((((triple2 triple3) -> rule6)) -> rule5))] @3: Gary is kind.[(((((((triple2 triple3) -> rule6)) -> rule5) ((triple2 triple3) -> rule6)) -> rule2))]