A（（A∧B∧C∧D∧E∧F∧G∧H∧I）→（J∧K∧L∧M）B（（A∧B∧C∧D∧E∧F∧G∧H∧I）→（（J∧K∧L）→M））C（（（A∧B∧C∧D∧E∧F∧G∧H∧I）→（J∧K∧L））→M）D（（（A∧B∧C∧D∧E∧F∧G∧H∧I）→（J∨K∨L））→M）