so, the contrapositive in my example applies?

Why not contrapose the rule?

If 1+2 -> 3

/3 -> /1 and /2

Thanks.

I think it is a premise only not a sub-conclusion. It does not flow from any previous premises.