Gary is big. Gary is blue. Gary is not cold. Gary is green. Gary is rough. Gary is not round. Gary is white. If someone is blue then they are green. If someone is blue and cold then they are not big. All white, rough people are big. Cold, rough people are round. If Gary is round and Gary is white then Gary is blue. If Gary is rough then Gary is green.
Gary is not round.
@0: Gary is big.[(triple1 OR ((triple7 triple5) -> rule3))] Gary is blue.[(triple2)] Gary is green.[(triple4 OR ((triple2) -> rule1) OR ((triple5) -> rule6))] Gary is not cold.[(triple3)] Gary is not round.[(triple6)] Gary is rough.[(triple5)] Gary is white.[(triple7)]