Anne is green. Anne is rough. Anne is smart. Anne is white. Bob is furry. Bob is green. Bob is white. Dave is green. Dave is nice. Dave is quiet. Dave is smart. Erin is furry. Erin is nice. Erin is rough. Erin is smart. Erin is white. If something is rough and white then it is furry. If Dave is smart then Dave is white.
Dave is not furry.