Bob is kind. Bob is quiet. Bob is white. Dave is blue. Dave is not kind. Dave is round. Gary is green. Gary is not quiet. Gary is not red. Gary is white. If Dave is red then Dave is not green. If someone is blue and not round then they are quiet. Kind people are blue. If Dave is quiet then Dave is not red. If Dave is kind and Dave is not red then Dave is quiet. If someone is round and not blue then they are white.
Dave is red.