Bob is big. Bob is blue. Bob is green. Bob is rough. Erin is blue. Erin is red. Erin is rough. Gary is blue. Gary is green. Gary is kind. All quiet things are big. All kind things are blue. If something is green and blue then it is quiet. If something is rough then it is big. Red, quiet things are blue. If Gary is rough then Gary is green.
Erin is not red.