Charlie is green. Erin is big. If something is round then it is big. If something is big and young then it is green. If something is big then it is red. If something is smart then it is red. If something is not smart then it is young. All young, round things are not smart. Green things are not round. If something is not red then it is cold.
Erin is round.