Anne is not furry. Anne is not green. Charlie is not blue. Charlie is rough. Erin is big. Erin is red. Erin is not rough. All red things are not blue. If something is green then it is smart. All big things are red. If Charlie is red then Charlie is rough. If something is not smart then it is big. If Erin is green and Erin is not big then Erin is rough.
Erin is not green.