Заключение «Все билеты на премьеру были проданы» можно получить с помощью полной индукции:

Для просмотра статистики ответов нужно войти.