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.
Harry is smart.
@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)]