Erin is big. Erin is furry. Erin is red. Fiona is big. Fiona is blue. Fiona is red. Fiona is young. All red things are blue. If Erin is young then Erin is blue. If something is young then it is round. If something is furry and round then it is red. Blue, big things are young. All young things are furry. If something is smart and furry then it is round. If Fiona is round and Fiona is red then Fiona is big.
Erin is not smart.