Anne is not smart. Bob is not smart. Dave is smart. Young, white things are red. If something is rough and not white then it is not young. If something is young and rough then it is smart.
Anne is not smart.