If the fellow at the back table had been dozing earlier, he was roused now.
That fellow at the back table is sound asleep.
mnli hypothesis: That fellow at the back table is sound asleep. premise: If the fellow at the back table had been dozing earlier, he was roused now.