Dave is smart. Fiona is cold. Harry is not cold. If something is smart and green then it is white. If Dave is white and Dave is not cold then Dave is not kind.
Harry is kind.
@0: Dave is smart.[(triple1)] Fiona is cold.[(triple2)] Harry is not cold.[(triple3)]