Bob is big. Bob is blue. Bob is green. Bob is kind. Dave is green. Dave is white. Fiona is quiet. If Dave is not quiet then Dave is green. If Fiona is red and Fiona is not quiet then Fiona is green. If something is big then it is red. If something is white and not quiet then it is red. If Dave is red then Dave is not kind. If something is not green then it is kind. If something is not big and not green then it is kind. If something is blue and not kind then it is white.
Dave is not blue.