Bob is big. Bob is not green. Bob is nice. Dave is not big. Dave is blue. Dave is cold. Erin is blue. Erin is green. Erin is nice. Erin is young. Young people are green. All green, white people are blue. If someone is big and not white then they are blue. If someone is nice and white then they are blue. If someone is young and green then they are not big. If Dave is white then Dave is young. If Dave is young and Dave is not blue then Dave is cold. If Dave is nice and Dave is not green then Dave is young.
Erin is big.