Erin is furry. Fiona is smart. Gary is red. If something is big then it is green. If Fiona is nice and Fiona is furry then Fiona is green. If something is smart and not red then it is furry. If something is red then it is not blue. All furry things are green. If something is smart and green then it is blue. If something is furry and not green then it is blue. If Gary is not furry then Gary is nice.
Fiona is not nice.