Anne is nice. Anne is quiet. Dave is quiet. All cold, quiet people are blue. All red people are quiet. Cold people are nice. If someone is quiet then they are cold. If Dave is big then Dave is blue. If Anne is nice then Anne is blue.
Anne is not red.