Charlie is nice. Dave is big. Harry is kind. If something is big and not nice then it is not green. If something is blue then it is not young. If Harry is nice and Harry is blue then Harry is young. If Dave is round and Dave is young then Dave is not green. If something is not big then it is green. Green things are not blue.
Dave is not blue.