Dave is not quiet. Erin is green. Gary is red. If someone is white then they are red. If Gary is quiet and Gary is green then Gary is rough. If Gary is red then Gary is not big. If someone is quiet then they are rough. If someone is not green then they are white. All red people are rough.
Erin is quiet.