Charlie is blue. Charlie is nice. Erin is blue. Erin is nice. Erin is rough. Fiona is big. Fiona is blue. Fiona is not furry. Fiona is green. Fiona is not nice. Fiona is rough. Fiona is not smart. Harry is furry. Harry is green. Harry is rough. Harry is smart. All furry, nice things are blue. If Erin is green and Erin is nice then Erin is big. Smart things are nice. If something is blue and nice then it is big. If something is not blue then it is furry. If something is smart and not big then it is green.
Erin is smart.