Dave is white. Harry is nice. If something is green and nice then it is kind. White things are green. If something is nice then it is big. All nice things are kind. If something is white then it is nice. If something is round then it is kind.
Dave is not nice.