помогите пожалуйста по математической логике!))

Если же выиграет саратовский Сокол, то торжествовать будет Саратов. Выиграет или Спартак или Сокол. Однако если выиграет Спартак, то Саратов не будет торжествовать, а если выиграет Сокол, то торжествовать не будет Самара. Вытекает ли отсюда, что Самара будет торжествовать тогда, и только тогда, когда не будет торжествовать Саратов?