Erin is red. Fiona is smart. All green things are cold. Nice, rough things are smart. If Fiona is nice and Fiona is cold then Fiona is smart. Smart things are rough. If something is smart then it is red. If something is nice and not rough then it is smart. If Fiona is not cold then Fiona is red. If something is not smart then it is not rough.
Fiona is rough.