Please help me complete this proof showing that the premises imply the conclusion.

The chefs who catered the party are all from

Manitoba.

If no one from Manitoba is mentioned in the

Times, then none of dominant wine traders are

from Manitoba.

therefore, if any of the dominant wine traders

catered the party, then some from Manitoba are

mentioned in the Times.

C: $$ is a chef.

P: $$ catered the party.

M: $$ is from Manitoba.

D: $$ is a dominant wine trader.

T: $$ is mentioned in the Times.

Premises:

$($x$)($Cx $$ Px $$ Mx$)$

$-($x$)($Mx $$ Tx$)-($x$)($Dx $$ Mx$)$

Conclusion:

$($x$)($Dx $$ Px$)($x$)($Mx $$ Tx$)$

Here is how I have started:

$[1]$

$(1)$

$($x$)($Cx $$ Px $$ Mx$)$

P

$[2]$

$(2)$

$-($x$)($Mx $$ Tx$)-($x$)($Dx $$ Mx$)$

P

$[3]$

$(3)$

$($x$)($Dx $$ Px$)$

P

$[3,4]$

$(4)$

Db $$ Pb

$(3)$b EI

$[1,4]$

$(5)$

Cb $$ Pb $$ Mb

$(1)$ UI

$[2]$

$(6)$

$($x$)-($Mx $$ Tx$)($x$)-($Dx $$ Mx$)$

$(2)$ CQ

$[2,4]$

$(7)$

$-($Mb $$ Tb$)-($Db $$ Mb$)$

$(5)$ UI

$[3,4]$

$(8)$

Db

$(4)$ TF

$[2,4]$

$(9)$

$($Db $$ Mb$)($Mb $$ Tb$)$

$(7)$ TF

$[10]$

$(10)$

$-$Mb

P

$*$brackets site premises and parentheses site line numbers.