Anne is blue. Anne is cold. Anne is nice. Anne is rough. Bob is blue. Bob is nice. Bob is red. Dave is blue. Dave is cold. Dave is furry. Dave is nice. Dave is red. Dave is not rough. Fiona is cold. Fiona is not red. Fiona is not smart. If someone is blue and furry then they are not smart. If someone is blue and not nice then they are rough. If someone is not smart then they are furry. If someone is not nice then they are blue. If Anne is red then Anne is not blue. Red people are blue. If someone is smart and not furry then they are cold. If someone is not cold then they are red.
Dave is not smart.