Anne is young. Charlie is nice. Dave is not young. Harry is green. If someone is green then they are round. Young people are white. If Harry is round and Harry is not young then Harry is not rough. If someone is rough then they are not red. If someone is not rough then they are red. If Dave is red then Dave is nice. Rough, round people are white. If someone is nice and not young then they are white.
Dave is white.