Handle multiple subgoals in disj and conj