Erin is rough. Fiona is cold. If Erin is round then Erin is green. All green, rough things are smart. All quiet things are round. If Fiona is green and Fiona is smart then Fiona is red. All cold things are smart. If Erin is quiet then Erin is cold.
Erin is not red.