Règles de mise à jour

$$\begin{array}{rcl}KIF_xQ & \Longrightarrow& \lnot W_xKIF_xQ\end{array}$$

Dans ce jeu, il est nécessaire de détruire la condition d'entrée avant de sortir^7.2. Donc quand la réponse à la question a été trouvée, on nie les conditions d'entrée.