Dave is big. Dave is blue. Dave is furry. Dave is green. Dave is kind. Dave is rough. Dave is white. Erin is big. Erin is blue. Erin is furry. Erin is green. Erin is kind. Erin is rough. Erin is white. If Erin is white then Erin is blue. All blue, green things are big. All blue, green things are rough. All blue things are rough. All big things are white. If Erin is rough then Erin is kind. All kind things are furry. All kind things are rough.
Dave is not green.