Charlie is quiet. Erin is not quiet. Fiona is big. Fiona is blue. Fiona is red. Fiona is smart. Fiona is young. Gary is big. Gary is quiet. Gary is red. Gary is smart. All young, big people are red. If Gary is red then Gary is big. If someone is young and not quiet then they are red. If someone is red and big then they are blue. If someone is not smart then they are young. Red people are big. All quiet, young people are not red. If someone is blue then they are green.
Erin is not red.