「もし仮に堪え難いなら堪え難い一方でちっちゃくない」モンスターはいる
fact1: このもよもやLv.38はちっちゃくない fact2: もし仮に何らかのモンスターが心安いということはないとすればちっちゃくて堪え難い
void -> assump1: 以下のように仮定する。このもよもやLv.38は堪え難い; assump1 & fact1 -> int1: このもよもやLv.38は堪え難いけどちっちゃいということはない; [assump1] & int1 -> int2: もし仮にこのもよもやLv.38が堪え難いとするとこのもよもやLv.38は堪え難いけどちっちゃくない; int2 -> hypothesis;
void -> assump1: {A}{a}; assump1 & fact1 -> int1: ({A}{a} & ¬{B}{a}); [assump1] & int1 -> int2: {A}{a} -> ({A}{a} & ¬{B}{a}); int2 -> hypothesis;
あのまゆまちょLv.89は堪え難い
fact3 -> int3: もしあのまゆまちょLv.89が心安くないとしたらあのまゆまちょLv.89はちっちゃいモンスターで堪え難い;
$facts$ = fact1: このもよもやLv.38はちっちゃくない fact2: もし仮に何らかのモンスターが心安いということはないとすればちっちゃくて堪え難い ; $hypothesis$ = 「もし仮に堪え難いなら堪え難い一方でちっちゃくない」モンスターはいる ; $proof$ = 
void -> assump1: 以下のように仮定する。このもよもやLv.38は堪え難い; assump1 & fact1 -> int1: このもよもやLv.38は堪え難いけどちっちゃいということはない; [assump1] & int1 -> int2: もし仮にこのもよもやLv.38が堪え難いとするとこのもよもやLv.38は堪え難いけどちっちゃくない; int2 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; assump1 & fact1 -> int1: ({A}{a} & ¬{B}{a}); [assump1] & int1 -> int2: {A}{a} -> ({A}{a} & ¬{B}{a}); int2 -> hypothesis; __PROVED__