Anne is not blue. Anne is green. Anne is rough. Anne is not round. Charlie is green. Charlie is smart. Erin is smart. Smart, rough things are green. Smart things are rough. All round things are not smart. All green, round things are not smart. If something is not blue then it is rough. If Charlie is kind then Charlie is round. If something is not nice then it is not blue. All green things are not kind.
Erin is blue.