Bob is rough. Bob is smart. Charlie is rough. Gary is red. Gary is white. Harry is cold. Harry is smart. If Harry is white then Harry is not cold.
Gary is not red.
@0: Bob is rough.[(triple1)] Bob is smart.[(triple2)] Charlie is rough.[(triple3)] Gary is red.[(triple4)] Gary is white.[(triple5)] Harry is cold.[(triple6)] Harry is smart.[(triple7)]