After converting the disjunctions back into implications:

Go to next step