Charlie is young. Dave is big. Erin is red. All big people are green. If someone is red and round then they are not white. If someone is red then they are young. Red, young people are big. If Charlie is not big then Charlie is green. If Erin is round and Erin is not big then Erin is young.
Erin is not big.