O teste de lavagem de carro não é uma falha de raciocínio. É uma falha na seleção do operador.

"Devo caminhar ou dirigir?" O modelo interpreta isso como argmax(critério). Escolha a melhor opção com base na distância, eficiência, impacto ambiental. Caminhar vence.
O usuário quis dizer ∀(requisitos). O carro tem que estar na lavagem. Você tem que estar na lavagem. Ambos devem ser verdadeiros. Dirigir é a única resposta que satisfaz o E.
A gramática superficial diz OU. A estrutura pragmática diz E. O modelo escolhe o operador errado na etapa de enquadramento, depois raciocina de forma local-coerente pelo ramo errado.
Cada falha na classe lavagem de carro tem essa forma. Não é que os modelos careçam de senso comum. Eles escolhem disjunção quando o problema exige conjunção.