Charlie is big. Charlie is blue. Charlie is cold. Charlie is green. Charlie is red. Charlie is round. Charlie is white. Dave is big. Dave is blue. Dave is red. Dave is round. Dave is white. Erin is big. Erin is blue. Erin is cold. Erin is round. If Charlie is blue then Charlie is big. All round things are red. All green, red things are big. All blue, red things are green. Green things are red. If something is white then it is green. All white, round things are big. If something is cold and white then it is red.
Erin is red.