Erin is blue. Erin is not quiet. Erin is smart. Erin is white. Gary is big. Gary is blue. Gary is not rough. Harry is big. Harry is blue. Harry is white. If Gary is blue then Gary is white. Red, smart things are not quiet. All smart things are big.
Erin is red.