Erin is big. Erin is blue. Erin is furry. Erin is green. Erin is kind. Erin is smart. Erin is young. Fiona is blue. Fiona is furry. Fiona is green. Fiona is kind. Fiona is young. If something is blue then it is smart. All blue, green things are furry. If something is young then it is smart. All smart, young things are big. Green, young things are smart. If something is green then it is blue. If Fiona is blue then Fiona is furry. If Fiona is blue and Fiona is young then Fiona is smart.
Erin is not smart.