After converting the disjunctions back into implications:
Go to next step