Наиболее подходящей формализацией для суждения "Если Алиса сдаст зачет сегодня, то будет участвовать в Дне первокурсника, но в эстафете участвовать все равно не будет"