Bob is smart. Erin is not cold. Erin is green. If something is round then it is not smart. All smart, white things are green. All green things are furry. Cold things are young. If something is not young then it is white. If something is not white then it is not round.
Erin is cold.