Оказывается, отрицание довольно жёстко ограничено по употреблению. Мы используем отрицание только тогда, когда нарушено некоторое ожидание.
Петя не вернул книгу. = мы ожидали, что он её вернёт.
Петя не курит. = большинство представителей этой половозрастной группы курит.
Но мы не говорим *Петя не бегает по потолку, потому что мы не ожидаем от Пети, что он будет бегать по потолку. Хотя грамматика так сказать не запрещает.
Ещё пример:
Коалы не едят мясо. - нормально.
Коалы не носят туфли на платформе. - чушь, хотя логически оба высказывания равно истинны.
Пример идеальной бессмыслицы, которая одновременно с тем безупречно истинна с точки зрения математической логики:
Жираф не мультиварка.
