Considrons le problme suivant sachant que 
chacune des assertions
suivantes est vraie :
<ol>
<li>
Ou le malfaiteur est venu en voiture, ou le tmoin s'est tromp ;
</li>
<li>
Si le malfaiteur a un complice, alors il est venu en voiture ;
</li>
<li>
Le malfaiteur n'avait pas de complice et n'avait pas la cl ou bien
le malfaiteur avait
un complice et avait la cl ;
</li>
<li>
Le malfaiteur avait la cl.
</li>
</ol>

Que peut-on en conclure ? Si on remplace la dernire par
   <i>le malfaiteur n'avait pas la cl</i>, peut-on conclure ?