Erin is big. Erin is blue. Erin is green. Erin is not red. Erin is not rough. Erin is white. Erin is young. All young things are green. If something is rough then it is not red. If Erin is red then Erin is not green. If Erin is red then Erin is big. All blue things are big. If something is not green then it is rough. If something is white and not green then it is not rough. If something is not big and not rough then it is young.
Erin is not blue.