Bob is white. Dave is white. Harry is white. All nice people are not rough. If Harry is not red and Harry is not rough then Harry is blue.
Bob is not white.
@0: Bob is white.[(triple1)] Dave is white.[(triple2)] Harry is white.[(triple3)]