I had counted the cups carefully, in the event of one having been removed. 
One of the cups had been removed that day.
mnli hypothesis: One of the cups had been removed that day. premise: I had counted the cups carefully, in the event of one having been removed. 