Charlie is blue. Charlie is green. Charlie is rough. Charlie is not smart. Erin is not blue. Erin is quiet. Erin is rough. Erin is smart. Erin is young. Harry is young. All quiet, red things are smart. All smart things are quiet. If Charlie is rough then Charlie is green. All smart, quiet things are not red. All quiet, red things are smart. If Harry is quiet then Harry is blue.
Charlie is blue.