Anne is big. Anne is smart. Anne is not white. Bob is blue. Bob is white. Dave is not big. Dave is blue. If Dave is white then Dave is blue. If something is not white then it is young. If Dave is big then Dave is smart. If something is white then it is not green. If something is not white and not blue then it is young. If Anne is green and Anne is not young then Anne is furry.
Dave is not smart.