אליפות "תחכמוני"

לשלב הגמר של אליפות "תחכמוני" עלו המתעמלים הבאים:
אורי, אביתר, אלון ואבנר. לאחר ביצוע תרגילי הגמר הודלפו העובדות הבאות:
1. אם אורי לא במקום הראשון, אז אלון לא במקום השני.
2. אם אביתר הגיע למקומות השני או השלישי אז אורי זכה במקום הראשון.
3. אם אלון אינו אחרון אז אביתר במקום השלישי.
4. אם אבנר הגיע שני, אז אביתר לא ראשון.
5. אם אבנר אינו המנצח אז אביתר הוא המנצח!

אז מי המנצח?