Gary is cold. Gary is not nice. Gary is red. Gary is rough. Gary is round. Harry is nice. Harry is white. If Gary is white then Gary is not kind. If something is rough and nice then it is not cold. If Harry is nice and Harry is not red then Harry is kind. If Harry is cold and Harry is white then Harry is not round. If something is red and not round then it is kind. If something is cold and not red then it is not kind.
Gary is cold.
@0: Gary is cold.[(triple1)] Gary is not nice.[(triple2)] Gary is red.[(triple3)] Gary is rough.[(triple4)] Gary is round.[(triple5)] Harry is nice.[(triple6)] Harry is white.[(triple7)]