Charlie is not big. Charlie is quiet. Charlie is round. Charlie is smart. Erin is big. Erin is quiet. Erin is not rough. If something is green and not blue then it is round. If Charlie is blue and Charlie is smart then Charlie is rough. If Erin is smart then Erin is not round. All round, big things are not green. Round, big things are green. If something is blue then it is green.
Erin is not round.