Comme le fait F6 a été produit, ça marche a été positionné, du coup on réexplore toutes les règles et les faits et...

modus ponens avec R3 et F1 : F7 (prendre.l'avion) et ça marche ...

et du coup, on a produit F7, ça marche, donc on réexplorera toutes les règles et les faits....etc...