Bob is white. Charlie is cold. Dave is smart. Fiona is not big. If something is nice and not smart then it is not white.
Bob is not white.
@0: Bob is white.[(triple1)] Charlie is cold.[(triple2)] Dave is smart.[(triple3)] Fiona is not big.[(triple4)]