How do I use the universal generalization, to applied twice to use the double-subset property for the following problem:

((( ) ( )) ) = ((( ) (( ) )))