Charlie is nice. Charlie is red. Erin is not big. Erin is green. Erin is not nice. Erin is quiet. Erin is rough. Green things are quiet. All nice things are big. If something is blue and nice then it is big. If Charlie is big and Charlie is red then Charlie is quiet. All green things are red. If something is nice and not rough then it is red. If something is blue and green then it is not big. If something is nice and not quiet then it is red.
Erin is red.