Given the Karttunen and Peters theory, the presupposition of the consequent in is 'someone other than the boss will come' and the presupposition of the entire conditional is 'if Herb comes, someone other than the boss will come.'