Bob is cold. Dave is cold. Dave is kind. Dave is not red. Gary is cold. Gary is kind. Gary is not nice. If something is red then it is not blue.
Bob is not white.
@0: Bob is cold.[(triple1)] Dave is cold.[(triple2)] Dave is kind.[(triple3)] Dave is not red.[(triple4)] Gary is cold.[(triple5)] Gary is kind.[(triple6)] Gary is not nice.[(triple7)]