Dave is blue. Dave is cold. Dave is nice. Dave is smart. Fiona is not blue. Fiona is cold. Fiona is not furry. Fiona is nice. Fiona is red. Fiona is round. Fiona is smart. Harry is not blue. Harry is cold. Harry is round. Harry is smart. Blue people are not furry. All furry people are blue. If Dave is blue then Dave is nice. If someone is nice then they are cold. Furry, blue people are cold. If someone is not cold then they are not nice.
Dave is not red.