Bob is blue. Bob is nice. Bob is quiet. Erin is nice. Fiona is big. Fiona is not green. Gary is green. Gary is nice. Gary is red. Gary is young. Blue, young people are red. If Gary is blue and Gary is green then Gary is big. If Fiona is young and Fiona is red then Fiona is green. All green people are quiet. If someone is nice and not green then they are big. If someone is big and not green then they are blue. If someone is blue and not quiet then they are not green. If someone is not green and not big then they are not young.
Erin is not red.