Erin is smart. All white things are round. All big, quiet things are white. Big things are cold. All round things are cold. All smart things are round. If Erin is white then Erin is red.
Erin is not smart.