Anne is big. Dave is big. Dave is white. If someone is kind and big then they are not green. If Dave is green then Dave is white. If someone is white and not smart then they are kind. If someone is blue and not kind then they are white. If someone is nice and not kind then they are blue. If someone is nice and not white then they are not green.
Dave is smart.