Wenn ich mich zwischen den dreien entscheiden müsste, würde ich vermutlich die zweite Variante nehmen.
Allgemein bedeutet das Implikationszeichen "⇒" in Ableitungen oder Aufgaben meistens nicht nur "aus dem vorstehenden allein folgt" sondern "aus allem, was bisher geschrieben wurde folgt". Ich würde also eher schreiben:
3r + 5 = t
t = 2
⇒ 3r + 5 = 2