Gary is not cold. Gary is not furry. Gary is green. Gary is rough. Gary is round. Gary is smart. Gary is white. Round things are white. If something is furry and not cold then it is not rough.
Gary is not rough.
@0: Gary is green.[(triple3)] Gary is not cold.[(triple1)] Gary is not furry.[(triple2)] Gary is rough.[(triple4)] Gary is round.[(triple5)] Gary is smart.[(triple6)] Gary is white.[(triple7 OR ((triple5) -> rule1))]