(2) The pushout of the diagram + <- X -> X_+ is always +_+, and so applying P_1 F we get that P_1 F(X) is the pullback of P_1 F(+) -> P_1 F(+_+) <- P_1 F(X_+).
(sorry, I have to switch to + uniformly b/c of markdown fighting me)
The definition of D_1 F(X) is the fiber of P_1 F(X) -> P_1 F(+), and so this tells is that there is a fiber sequence D_1 F(X) -> P_1 F(X_+) -> P_1 F(+_+).
(3) Then we apply the octahedral axiom to P_1 F(X_+) -> P_1 F(+_+) -> P_1 F(+), which is a diagram of pointed objects. That gives us a fiber sequence D_1 F(X) -> D_{1,+} F(X_+) -> D_{1,+} F(+_+).
(Sorry, I just misunderstood your notation.)