Let's say P: the red team is third, Q: the yellow team is second, R: the blue team is fourth, and S: the white team is first.

Premises: p → (q→ r), ┐ s ∨ p, q;

Conclusion: s → r;

The validity of reasoning is proved as follows:

(1)P→(Q→R), p rule

(2)┐P∨(┐Q∨R), t rule (1)

(3)Q→(P→R), T Rule (2)

(4) the law of ┐

(5)S→P, t rule (4)

(6)Q, p rule

(7) Rules → Rules, Rules (3)(6)

(8)S→R, t rule (5)(7)