Gary is blue. Gary is cold. Gary is quiet. Gary is red. Gary is rough. Gary is round. Gary is white. If someone is rough then they are round. All white, cold people are round.
Gary is round.
@0: Gary is blue.[(triple1)] Gary is cold.[(triple2)] Gary is quiet.[(triple3)] Gary is red.[(triple4)] Gary is rough.[(triple5)] Gary is round.[(triple6 OR ((triple5) -> rule1) OR ((triple7 triple2) -> rule2))] Gary is white.[(triple7)]