Dave is green. Dave is nice. Dave is quiet. Dave is red. Harry is cold. Harry is green. Harry is quiet. If something is not green then it is quiet. If something is not green then it is not young. Smart things are young. Young things are red. If something is not red and not cold then it is smart. If Harry is red and Harry is not smart then Harry is nice.
Harry is not green.