I agree with the solution and the last part
L(r2) ⊆ L(r1) U L(r3)
Because language produced by r2 is Either only streams of a's or only streams of b's but not both.
Moreover, both L(r1) and L(r3) when mixed together(Union) can handle cases of when we have only streams of a's or streams of b's which is the language generated by L(r2)