Bob is big. Bob is green. Bob is nice. Bob is white. Dave is not furry. Dave is not green. Dave is not rough. Erin is big. Erin is furry. Erin is nice. Erin is quiet. Erin is rough. Gary is big. Gary is furry. Gary is nice. Gary is white. All white, quiet people are green. If Erin is not nice and Erin is not quiet then Erin is big.
Dave is nice.