そのみえみにLv.69は吊れる
fact1: あのもにもにょLv.56がバックアップ出来ないならこのぴよぴちゃLv.53は邪魔臭いかまたは擽ったいかまたは両方ともである fact2: 仮にとあるモンスターがバックアップ出来ないかまたはそれは手際良くないかもしくは両方ともであるとしたらそれはバックアップ出来るということはない fact3: このぴよぴちゃLv.53は嗅がす fact4: 「もしあるモンスターが嗅がさないかあるいはそれが吊れるということはないとしたらそれは吊れない」ということは正しい fact5: 仮にこのぴよぴちゃLv.53が隙間無くないか宜しいならば嗅がさない fact6: 仮にそのみえみにLv.69が吊れるということはないとすればこのぴよぴちゃLv.53は隙間無くないかもしくは宜しい fact7: 擽ったいモンスターは嗅がさないかまたは吊れるということはないかまたは両方ともである fact8: 「そのみえみにLv.69は邪魔臭くないしまたそれは手際良いということはない」ということは偽であるとするとバックアップ出来ない
void -> assump1: 以下のように仮定する。そのみえみにLv.69は吊れない; fact6 & assump1 -> int1: このぴよぴちゃLv.53は隙間無くないか宜しいかもしくは両方だ; int1 & fact5 -> int2: このぴよぴちゃLv.53は嗅がさない; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: ¬{A}{a}; fact6 & assump1 -> int1: (¬{AA}{b} v {AB}{b}); int1 & fact5 -> int2: ¬{B}{b}; int2 & fact3 -> int3: #F#; [assump1] & int3 -> hypothesis;
あのぴにぴねLv.24は吊れない
$facts$ = fact1: あのもにもにょLv.56がバックアップ出来ないならこのぴよぴちゃLv.53は邪魔臭いかまたは擽ったいかまたは両方ともである fact2: 仮にとあるモンスターがバックアップ出来ないかまたはそれは手際良くないかもしくは両方ともであるとしたらそれはバックアップ出来るということはない fact3: このぴよぴちゃLv.53は嗅がす fact4: 「もしあるモンスターが嗅がさないかあるいはそれが吊れるということはないとしたらそれは吊れない」ということは正しい fact5: 仮にこのぴよぴちゃLv.53が隙間無くないか宜しいならば嗅がさない fact6: 仮にそのみえみにLv.69が吊れるということはないとすればこのぴよぴちゃLv.53は隙間無くないかもしくは宜しい fact7: 擽ったいモンスターは嗅がさないかまたは吊れるということはないかまたは両方ともである fact8: 「そのみえみにLv.69は邪魔臭くないしまたそれは手際良いということはない」ということは偽であるとするとバックアップ出来ない ; $hypothesis$ = そのみえみにLv.69は吊れる ; $proof$ = 
void -> assump1: 以下のように仮定する。そのみえみにLv.69は吊れない; fact6 & assump1 -> int1: このぴよぴちゃLv.53は隙間無くないか宜しいかもしくは両方だ; int1 & fact5 -> int2: このぴよぴちゃLv.53は嗅がさない; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: ¬{A}{a}; fact6 & assump1 -> int1: (¬{AA}{b} v {AB}{b}); int1 & fact5 -> int2: ¬{B}{b}; int2 & fact3 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__