洗車テストは推論の失敗ではない。操作選択の失敗だ。

「歩くべきか、それとも運転すべきか？」モデルはこれをargmax(criterion)として読む。距離、効率、環境への影響でより良い選択をする。歩きが勝つ。
ユーザーは∀(要件)を意味している。車は洗車場にいる必要がある。あなたも洗車場にいる必要がある。両方が成り立たなければならない。運転だけがANDを満たす答えだ。
表面の文法はORを示している。語用論的構造はANDを示している。モデルはフレーミング段階で誤った演算子を選び、その後誤った枝を局所的に一貫して推論する。
すべての洗車クラスの失敗はこの形をしている。モデルに常識が欠如しているわけではない。問題が結合を必要とするのに、選択肢として分離を選んでしまうのだ。