Bob is round. Charlie is big. Charlie is cold. Charlie is kind. Charlie is rough. Charlie is round. Erin is cold. Erin is rough. Erin is round. Erin is smart. All round things are kind. If something is round then it is green. Rough, round things are cold. If something is big then it is cold. Kind, rough things are green. All cold, kind things are smart. If something is green then it is rough. If Charlie is rough and Charlie is kind then Charlie is round.
Erin is not cold.