Anne is cold. Anne is furry. Anne is rough. Anne is smart. Charlie is cold. Charlie is rough. Dave is blue. Dave is rough. Erin is green. Erin is white. All furry things are blue. Smart, rough things are blue. If something is green then it is rough. If something is rough and cold then it is green. All cold, rough things are green. If something is cold and green then it is furry. Rough things are cold. Blue, rough things are smart.
Dave is not white.