Charlie is not nice. Charlie is not rough. Charlie is smart. Erin is rough. Gary is nice. Gary is round. Gary is white. If something is round and smart then it is white. Round, big things are smart. Rough things are not round. If something is not nice then it is white. If something is rough and not round then it is not smart. All white things are not blue. If something is not white then it is rough. If Gary is not white then Gary is blue.
Erin is nice.