Задачка от Льюиса Кэрролла: пользуясь правилами формальной логики, получите вывод из двух следующих посылок: - Ни одно ископаемое животное не может быть несчастно в любви - Устрица может быть несчастна в любви