Anne is cold. Anne is furry. Anne is rough. Dave is blue. Dave is furry. Dave is quiet. Dave is rough. Dave is white. Erin is cold. Erin is furry. If Erin is white and Erin is blue then Erin is rough. Cold, green things are blue. Green things are cold. If Anne is white and Anne is blue then Anne is cold. White things are green. If something is cold then it is white.
Dave is not green.