Le test du lavage de voiture n’est pas une défaillance de raisonnement. C’est une défaillance de sélection de l’opérateur.

« Dois-je marcher ou conduire ? » Le modèle lit cela comme argmax(critère). Choisissez la meilleure option en fonction de la distance, de l’efficacité, de l’impact environnemental. La marche gagne.
L’utilisateur voulait dire ∀(exigences). La voiture doit être au lavage. Vous devez être au lavage. Les deux doivent être vrais. Conduire est la seule réponse qui satisfait le ET.
La grammaire de surface indique OU. La structure pragmatique indique ET. Le modèle choisit le mauvais opérateur à l’étape de cadrage, puis raisonne de manière cohérente localement en suivant la mauvaise branche.
Chaque défaillance de la classe lavage de voiture a cette forme. Ce n’est pas que les modèles manquent de bon sens. Ils choisissent la disjonction alors que le problème nécessite une conjonction.