Erin is red. All blue things are smart. All smart, blue things are white. If something is green then it is kind. All red things are round. All blue things are green. If something is smart then it is kind. White things are round. If Erin is red then Erin is blue.
Erin is not blue.