Anne is kind. Bob is young. Dave is not smart. Gary is kind. All young things are rough. If something is young then it is rough. If Dave is smart and Dave is white then Dave is young. If Anne is round and Anne is not white then Anne is not rough. If Gary is round then Gary is young. If something is not young and not rough then it is not white.
Dave is smart.