A（（p∧q∧r∧s∧t）→u）B（（p∧q）→（r→（s→（t→u）））C（（p∧q）→（r∧s∧t∧u））D（（p∧q）→（r→（s→（t∧u））））