Anne is green. Anne is rough. Anne is not smart. Bob is furry. Bob is quiet. Bob is rough. Dave is not furry. Dave is quiet. Dave is not smart. Dave is not white. Erin is green. Erin is rough. If Anne is not rough then Anne is not green.
Dave is not rough.