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