Dave is cold. Harry is nice. All nice, cold people are white. All white people are not quiet. If someone is quiet then they are not cold. If someone is red and not cold then they are smart. If someone is nice and red then they are blue. If someone is white then they are blue. If someone is nice and not white then they are not red. If someone is nice and not cold then they are red.
Dave is not white.
@0: Dave is cold.[(triple1)] Harry is nice.[(triple2)]