Charlie is big. Charlie is not red. Charlie is round. Dave is not round. Dave is white. Erin is green. Erin is round. If someone is red then they are blue. If someone is red and not green then they are furry. If Dave is furry and Dave is round then Dave is red. If Dave is blue and Dave is red then Dave is not green. Green people are big. Big, green people are furry. All blue people are furry. If Dave is not big and Dave is not round then Dave is furry.
Erin is not blue.