Erin is young. Blue people are round. All smart people are young. Young, big people are quiet. If Erin is smart and Erin is round then Erin is big. If Erin is big then Erin is smart. Quiet, green people are blue.
Erin is not smart.