Anne is blue. Anne is cold. Anne is green. Anne is nice. Anne is quiet. Anne is white. Dave is big. Dave is blue. Dave is green. Dave is nice. Dave is quiet. Dave is white. If someone is cold and white then they are quiet. All quiet people are cold. If someone is quiet then they are green.
Anne is not green.