Coffee had been brought in for seven persons, not six, for Dr. 
Coffee was brought for seven, not six individuals.
mnli hypothesis: Coffee was brought for seven, not six individuals. premise: Coffee had been brought in for seven persons, not six, for Dr. 