Coffee had been brought in for seven persons, not six, for Dr. 
Coffee was enough for seven, even if people don't drink it or want it.
mnli hypothesis: Coffee was enough for seven, even if people don't drink it or want it. premise: Coffee had been brought in for seven persons, not six, for Dr. 