以下のように仮定する。あのもなもにゃLv.96は手痛い
fact1: 掻き易くないモンスターは現われ難いとしたら「手痛い」ということは真実だ fact2: このまちょまにLv.50が手痛いとすればあのもなもにゃLv.96は手痛い fact3: もし仮に仕方無いモンスターがどうして良いとしたらそれは免れ難くない fact4: 免れ難くないモンスターは掻き易くないけれど現われ難い fact5: もしもあのもなもにゃLv.96が手痛いならば掻き易い fact6: このまちょまにLv.50は現われ難くない fact7: あのもなもにゃLv.96が掻き易いならばこのまちょまにLv.50は現われ難い
void -> assump1: 以下のように仮定する。あのもなもにゃLv.96は手痛い; fact5 & assump1 -> int1: あのもなもにゃLv.96は掻き易い; int1 & fact7 -> int2: このまちょまにLv.50は現われ難い; int2 & fact6 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact5 & assump1 -> int1: {B}{a}; int1 & fact7 -> int2: {C}{b}; int2 & fact6 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。あのもなもにゃLv.96は手痛い
fact10 -> int4: もし仮にこのまちょまにLv.50が掻き易くないけどそれは現われ難いとすれば「手痛い」ということは成り立つ; fact9 -> int5: もしこのまちょまにLv.50が免れ難いということはないとしたら掻き易くなくてその上それは現われ難い; fact11 -> int6: 仮にこのまちょまにLv.50が仕方無いしどうして良いとすればこのまちょまにLv.50は免れ難くない;
$facts$ = fact1: 掻き易くないモンスターは現われ難いとしたら「手痛い」ということは真実だ fact2: このまちょまにLv.50が手痛いとすればあのもなもにゃLv.96は手痛い fact3: もし仮に仕方無いモンスターがどうして良いとしたらそれは免れ難くない fact4: 免れ難くないモンスターは掻き易くないけれど現われ難い fact5: もしもあのもなもにゃLv.96が手痛いならば掻き易い fact6: このまちょまにLv.50は現われ難くない fact7: あのもなもにゃLv.96が掻き易いならばこのまちょまにLv.50は現われ難い ; $hypothesis$ = 以下のように仮定する。あのもなもにゃLv.96は手痛い ; $proof$ = 
void -> assump1: 以下のように仮定する。あのもなもにゃLv.96は手痛い; fact5 & assump1 -> int1: あのもなもにゃLv.96は掻き易い; int1 & fact7 -> int2: このまちょまにLv.50は現われ難い; int2 & fact6 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; fact5 & assump1 -> int1: {B}{a}; int1 & fact7 -> int2: {C}{b}; int2 & fact6 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__