Anne is cold. Anne is furry. Bob is cold. Dave is nice. Dave is smart. Fiona is blue. Fiona is nice. If something is smart then it is cold. Red, rough things are blue. If something is red then it is nice. If Bob is rough and Bob is nice then Bob is cold. All red, rough things are cold. Cold things are red.
Dave is not red.