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