Anne is big. Anne is blue. Anne is cold. Anne is not green. Anne is kind. Anne is smart. Anne is young. Dave is big. Dave is blue. Dave is cold. Dave is green. Dave is kind. If someone is not blue and not big then they are young. All blue, smart people are young. If Anne is kind and Anne is big then Anne is cold. If someone is not cold then they are kind. If someone is green and not kind then they are young. If someone is not big and not kind then they are not young.
Dave is smart.