Условие:
Проверить правильность рассуждения.
Если Смит победит на выборах, он будет доволен, а если он будет доволен, то он плохой борец в предвыборной кампании. Но если он провалится на выборах, то он потеряет доверие партии. Он плохой борец в предвыборной кампании, если он потеряет доверие партии. Если он плохой борец в предвыборной кампании, ему следует выйти из партии. Смит или победит на выборах, или провалится. Следовательно, ему нужно выйти из партии.
