 Project Gutenberg is a registered trademark, and may not be used if you charge for the eBooks, unless you receive specific permission.
You have to get permission to use project Gutenburg's trademark.
mnli hypothesis: You have to get permission to use project Gutenburg's trademark. premise:  Project Gutenberg is a registered trademark, and may not be used if you charge for the eBooks, unless you receive specific permission.