Charlie is not big. Charlie is white. Erin is blue. All rough, big people are green. If someone is kind and not red then they are green. If someone is white and not rough then they are kind. All rough people are green. If Charlie is red and Charlie is big then Charlie is not blue. If someone is big and not red then they are green.
Erin is not rough.