Since I think that even the consequent of presupposes that Herb is not the boss, and of that neither Herb nor his wife is the boss, if one otherwise accepts the Karttunen and Peters algorithm, the presupposition of becomes 'if Herb comes to the party, then Herb is not the boss,' read as a material conditional, and analogously for.