Забавный лингвистический пример

Известна поговорка:
«Кто не рискует, тот не пьет шампанского». Сформулируем ее
в форме следования: «Для любого человека если он не рискует, то
не пьет шампанского». Сформулируем теперь теорему, противоположную
обратной: «Для любого человека если он пьет шампанское,
то он рискует». Иначе говоря: «Кто пьет шампанское, тот рискует»!
Зерно этого парадокса в том, что смысл данных высказываний
в обыденном языке не совпадает с их смыслом в языке формальной
логики.