Bob is not quiet. Charlie is blue. Dave is nice. Erin is blue. Nice things are not red. If Charlie is quiet then Charlie is rough. All young, big things are quiet. All quiet, red things are nice. If something is rough and not big then it is red. Quiet, young things are not blue. If something is not red then it is blue. If something is not quiet then it is not big.
Erin is not red.