Gary is big. Gary is not cold. Gary is furry. Gary is green. Gary is red. Gary is round. Gary is white. If someone is red and not furry then they are cold. All white, round people are green. If Gary is not green and Gary is not round then Gary is big.
Gary is green.
@0: Gary is big.[(triple1)] Gary is furry.[(triple3)] Gary is green.[(triple4 OR ((triple7 triple6) -> rule2))] Gary is not cold.[(triple2)] Gary is red.[(triple5)] Gary is round.[(triple6)] Gary is white.[(triple7)]