Charlie is big. Charlie is blue. Charlie is cold. Charlie is red. Charlie is white. Charlie is young. Dave is big. Dave is blue. Dave is red. Erin is big. Erin is blue. Erin is cold. Erin is red. Erin is smart. Erin is white. If something is big and blue then it is white. All blue things are big. All big, cold things are young. White things are smart. If something is cold then it is blue. All red, smart things are young. All young things are white. Red things are big.
Erin is red.