このぽにょぽにゃLv.73は乾き易くない
fact1: 仮に「このぽにょぽにゃLv.73は乾き易い」ということは真実であるとすれば「売り難い」ということは成り立つ fact2: 仮に「何らかのモンスターはばたばたするけどソテーするということはない」ということは誤りであるならばそれは気高くない fact3: このぽにょぽにゃLv.73は請願するということはない fact4: ばたばたするしそれはソテーしないというモンスターはない fact5: もしもこのぽにょぽにゃLv.73が売り難いとすればこのぽにょぽにゃLv.73は請願する fact6: 仮に「このぽにょぽにゃLv.73は売り難いしかつ激しい」ということは正しくないとしたらあのもにもねLv.36は売り難くない fact7: なにがしかのモンスターは気高くないとしたら「売り難いし激しい」ということは偽だ
void -> assump1: 以下のように仮定する。このぽにょぽにゃLv.73は乾き易い; fact1 & assump1 -> int1: このぽにょぽにゃLv.73は売り難い; int1 & fact5 -> int2: このぽにょぽにゃLv.73は請願する; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact1 & assump1 -> int1: {B}{a}; int1 & fact5 -> int2: {C}{a}; int2 & fact3 -> int3: #F#; [assump1] & int3 -> hypothesis;
「あのもにもねLv.36は請願しない」ということは確かである
fact10 -> int4: もしも「このまえまくLv.13はばたばたするがソテーしない」ということは成り立たないならばそれは気高くない; fact9 -> int5: 「このまえまくLv.13はばたばたするけどソテーしない」ということは本当でない; int4 & int5 -> int6: 「このまえまくLv.13は気高くない」ということは間違っていない; fact11 -> int7: もしこのまえまくLv.13は気高くないとすると「このまえまくLv.13は売り難くてそれに激しい」ということは嘘だ; int6 & int7 -> int8: 「このまえまくLv.13は売り難いしかつそれは激しい」ということは成り立たない; int8 -> int9: 売り難くて激しいモンスターはない; int9 -> int10: 「このぽにょぽにゃLv.73は売り難いしかつそれは激しい」ということは偽である; fact8 & int10 -> int11: あのもにもねLv.36は売り難くない;
$facts$ = fact1: 仮に「このぽにょぽにゃLv.73は乾き易い」ということは真実であるとすれば「売り難い」ということは成り立つ fact2: 仮に「何らかのモンスターはばたばたするけどソテーするということはない」ということは誤りであるならばそれは気高くない fact3: このぽにょぽにゃLv.73は請願するということはない fact4: ばたばたするしそれはソテーしないというモンスターはない fact5: もしもこのぽにょぽにゃLv.73が売り難いとすればこのぽにょぽにゃLv.73は請願する fact6: 仮に「このぽにょぽにゃLv.73は売り難いしかつ激しい」ということは正しくないとしたらあのもにもねLv.36は売り難くない fact7: なにがしかのモンスターは気高くないとしたら「売り難いし激しい」ということは偽だ ; $hypothesis$ = このぽにょぽにゃLv.73は乾き易くない ; $proof$ = 
void -> assump1: 以下のように仮定する。このぽにょぽにゃLv.73は乾き易い; fact1 & assump1 -> int1: このぽにょぽにゃLv.73は売り難い; int1 & fact5 -> int2: このぽにょぽにゃLv.73は請願する; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; fact1 & assump1 -> int1: {B}{a}; int1 & fact5 -> int2: {C}{a}; int2 & fact3 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__