そのものもちょLv.42は御任せ下さるかそれは深入りする
fact1: もし仮にそのものもちょLv.42が押さえ難くない一方でそれは掛かり難いなら「そのものもちょLv.42は深入りする」ということは本当だ fact2: 全てのモンスターは押さえ難くないが掛かり難い
fact2 -> int1: そのものもちょLv.42は押さえ難くない一方で掛かり難い; int1 & fact1 -> int2: そのものもちょLv.42は深入りする; int2 -> hypothesis;
fact2 -> int1: (¬{A}{aa} & {B}{aa}); int1 & fact1 -> int2: {C}{aa}; int2 -> hypothesis;
$facts$ = fact1: もし仮にそのものもちょLv.42が押さえ難くない一方でそれは掛かり難いなら「そのものもちょLv.42は深入りする」ということは本当だ fact2: 全てのモンスターは押さえ難くないが掛かり難い ; $hypothesis$ = そのものもちょLv.42は御任せ下さるかそれは深入りする ; $proof$ = 
fact2 -> int1: そのものもちょLv.42は押さえ難くない一方で掛かり難い; int1 & fact1 -> int2: そのものもちょLv.42は深入りする; int2 -> hypothesis; __PROVED__
fact2 -> int1: (¬{A}{aa} & {B}{aa}); int1 & fact1 -> int2: {C}{aa}; int2 -> hypothesis; __PROVED__