Gary is cold. Gary is furry. Gary is kind. Gary is red. Gary is round. Gary is not smart. Gary is white. If someone is round and not red then they are not cold. If someone is smart and not white then they are furry.
Gary is not red.
@0: Gary is cold.[(triple1)] Gary is furry.[(triple2)] Gary is kind.[(triple3)] Gary is not smart.[(triple6)] Gary is red.[(triple4)] Gary is round.[(triple5)] Gary is white.[(triple7)]