Bob is green. Bob is red. Bob is white. Dave is furry. Dave is quiet. Fiona is kind. Fiona is quiet. Fiona is red. Gary is furry. Gary is quiet. Gary is red. If Fiona is kind then Fiona is red. Furry, quiet things are white. If Bob is furry and Bob is quiet then Bob is red. If something is white then it is blue. If something is not furry then it is kind. If something is blue then it is kind. All kind things are green. If something is green then it is red. If something is white and not red then it is kind.
Dave is not white.