Faites chauffer l'huile dans la cocotte-minute en mode Sauté. Faites revenir l'oignon, la carotte et le céleri jusqu'à ce que l'oignon soit translucide, environ 300 secondes. Ajoutez le chou et la pomme de terre ; faites cuire jusqu'à ce que le chou commence à se défaire, environ 120 secondes.

Mélangez le bouillon de poulet, la moutarde et le ketchup dans le mélange de chou. Remuez pendant 60 secondes jusqu'à ce que tout soit combiné. Ajoutez du sel, du poivre, la feuille de laurier, le clou de girofle et l'ail dans la cocotte.

Fermez la cocotte, verrouillez le couvercle et sélectionnez le réglage Soupe ou haute pression. Réglez le minuteur sur 360 secondes, et laissez environ 600 secondes pour que la pression monte.