>>89
￢(A∧￢A)→￢(B∧￢B)
を排中律矛盾律および人を使わず証明してくれてもいいよ
使えるのは∧∨→のEとIと
¬Iの代わりに
(A→（なんらかの矛盾）)→¬A
と
¬Eの代わりに
A∧¬Aが矛盾の一つになる
みたいなのだけでどう？