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