Charlie is blue. Charlie is green. Charlie is quiet. Charlie is smart. Dave is cold. Dave is quiet. Dave is young. Erin is blue. Erin is green. Erin is smart. Gary is young. If Gary is blue and Gary is young then Gary is smart. If something is quiet and smart then it is cold. Young things are big. Smart things are quiet. All cold, blue things are big. If Dave is blue and Dave is cold then Dave is quiet. If Erin is smart then Erin is blue. All green, blue things are young. All big, young things are blue.
Erin is not big.