Bob is white. Charlie is blue. Fiona is nice. Harry is cold. If Bob is cold then Bob is white. If Fiona is nice and Fiona is blue then Fiona is not red. If something is white and smart then it is cold. All cold, nice things are not white. If something is cold and not rough then it is not red. If Fiona is not rough then Fiona is not blue. If something is blue and white then it is smart. If Bob is not cold then Bob is red.
Harry is cold.
@0: Bob is white.[(triple1)] Charlie is blue.[(triple2)] Fiona is nice.[(triple3)] Harry is cold.[(triple4)]