 According to Gazdar, (16a) entails that if there is an angry king then there is a knave and he stole some set of tarts. (This much all theories agree on; some theories may predict stronger entailments.) The set of implicatures would include the clausal implicature that the speaker doesn’t know whether a king is angry, and doesn’t know whether a knave stole tarts. The presuppositions (or “potential presuppositions”, in Gazdar’s terms) are that there is a unique king, a unique knave, and a unique set of tarts. The hearer proceeds by adding the entailments to (their representation of) the speaker’s commitment set, then adding whatever implicatures fit in, and then adding the presuppositions that fit after that. In this case, all the entailments, implicatures, and presuppositions are consistent, and all can be added without any being cancelled.