Le jeu des 3 inférences hypothétiques en assurance auto

Complétez en bonne logique stoïcienne les propositions suivantes :

Niveau 1 : Si « le véhicule n'est pas est en stationnement » et « le bris de glace est remboursé » ne peuvent être vrais ensemble, alors .

Niveau 2 : Si « le véhicule est en stationnement » n'est pas faux, alors « le bris de glace est non remboursé » est vrai. Or « le véhicule n'est pas en stationnement » est faux,  donc le bris de glace est.

Niveau 3 : Soit « le véhicule est non remboursé » est vrai, soit « le bris de glace n'est pas en stationnement » est vrai. Si ni le vrai ni le faux ne sont ni vrais ni faux, alors...

Solutions  :
1 - le véhicule est en stationnement.
2 - non remboursé.
3 - la franchise telle que définie au paragraphe 7.35 des conditions particulières s'applique.