Bob is white. Dave is rough. Gary is green. Harry is smart. All green, nice things are smart. If something is rough and white then it is not nice. White, smart things are rough.
Harry is not rough.
@0: Bob is white.[(triple1)] Dave is rough.[(triple2)] Gary is green.[(triple3)] Harry is smart.[(triple4)]