Gary is not red. Gary is rough. Harry is blue. Harry is red. Harry is rough. Harry is not smart. Harry is white. Cold people are blue. Round people are not blue. If someone is smart and not white then they are not blue. If Harry is not red then Harry is blue. Smart people are rough. If someone is round and white then they are cold.
Gary is round.
@0: Gary is not red.[(triple1)] Gary is rough.[(triple2)] Harry is blue.[(triple3)] Harry is not smart.[(triple6)] Harry is red.[(triple4)] Harry is rough.[(triple5)] Harry is white.[(triple7)]