— Ты знаешь, в GNU Prolog есть нестандартная билт-ин управляющая конструкция forall/2, которая по факту является синтаксическим сахаром для такого выражения: недоказуема конъюнкция выражения-условия и того, что недоказуемо выражение-действие! То есть, после «не» идёт объединение «А и не Б». В стандартном «прологе» подобные высказывания считались совершенно нормальными повседневными способами спросить базу данных о том, какие в ней есть данные. Это считалось почти как запрос на естественном языке. Но это совсем не естественный язык! Вот ты в русском языке такое выражение сможешь сформулировать? Чтобы после «не» шло объединенное высказывание: что-то одно, «и», «не» что-то другое?- НЕ ЕБИ МНЕ МОЗГИ!