Bob is not white. Dave is nice. Fiona is kind. Harry is kind. If Dave is not nice then Dave is not white.
Bob is not cold.
@0: Bob is not white.[(triple1)] Dave is nice.[(triple2)] Fiona is kind.[(triple3)] Harry is kind.[(triple4)]