Bob is big. Bob is red. Bob is rough. Bob is young. Dave is not big. Dave is cold. Dave is red. Dave is rough. Dave is not white. Dave is young. Harry is big. Harry is red. Harry is rough. Harry is smart. Harry is not young. If Harry is young and Harry is red then Harry is not rough. If something is big and not red then it is smart.
Dave is not smart.