Проблема в том что мышей то не ловила, проблема в том что конструкции естественных языков похожие на логические операторы этими операторами не являются, проблема в том что естественные языки не задаются аксиоматикой, они генеративны по природе, поэтому и наиболее простыми и сильными по теореме гильстрема быть не могут, в логике невозможно два верных по форме доказательства двух противоречивых высказываний, а в естественном языке подобная наёбка вполне реально, это не говоря о проблемах интерпретации естественных языков