Use the Proof Machine to complete a proof of the following argument: Premise 1: Ex(~B(x)v~D(x)) Conclusion: Ex~(B(x)&D(x))