Gary is big. Gary is blue. Gary is green. Gary is quiet. Gary is rough. Gary is round. Gary is white. All blue, quiet things are white. All quiet things are big. If Gary is green and Gary is blue then Gary is big. If Gary is not white then Gary is round. If Gary is blue and Gary is not white then Gary is not green. If something is quiet and not big then it is rough.
Gary is blue.
@0: Gary is big.[(triple1 OR ((triple4) -> rule2) OR ((triple3 triple2) -> rule3))] Gary is blue.[(triple2)] Gary is green.[(triple3)] Gary is quiet.[(triple4)] Gary is rough.[(triple5)] Gary is round.[(triple6)] Gary is white.[(triple7 OR ((triple2 triple4) -> rule1))]