Решение задачи

Решить задачу. Доказать методом резолюции справедливость рассуждения: Если вечер скучен, то или Катя начинает плакать, или Толя рассказывает смешные истории. Если Сережа приходит на вечер, то или вечер скучен, или Катя перестает плакать. Или вечер скучен, или Сережа приходит на вечер. Сережа приходит на вечер тогда и только тогда, когда Толя рассказывает смешные истории. Следовательно, если Катя перестает плакать, то Толя рассказывает смешные истории.