Charlie is not blue. Charlie is cold. Dave is rough. Dave is smart. Dave is not white. Harry is not furry. Harry is smart. If something is white then it is furry. If something is blue then it is white. White things are not rough.
Harry is not white.
@0: Charlie is cold.[(triple2)] Charlie is not blue.[(triple1)] Dave is not white.[(triple5)] Dave is rough.[(triple3)] Dave is smart.[(triple4)] Harry is not furry.[(triple6)] Harry is smart.[(triple7)]