Dave is big. Dave is furry. Dave is green. Dave is quiet. Erin is green. Erin is kind. Erin is quiet. Erin is rough. Gary is green. Gary is kind. If something is rough and furry then it is blue. If something is blue then it is big. If something is kind then it is green. If something is kind then it is furry. If Gary is furry and Gary is not big then Gary is green. If something is furry and not big then it is green. If something is not furry then it is not green. If Gary is big and Gary is not green then Gary is quiet.
Dave is not blue.