以下のように仮定する。このものもにゃLv.59は風靡する
fact1: 仮にそのぽちゅぽよLv.21が容認出来るかもしくは迷い易くないかまたはどちらもであるとするとこのものもにゃLv.59は容認出来るということはない fact2: もしこのものもにゃLv.59が賛成し難くないがしかし風靡すればこのぷゆぷちゅLv.78は犯し易くない fact3: 仮にこのものもにゃLv.59が風靡すればこのものもにゃLv.59は賛成し難い fact4: 「とあるモンスターが容認出来るということはないとしたらそれは犯し易いかまたはそれは賛成し難い」ということは事実である fact5: もし仮に「そのぽちゅぽよLv.21はすーごくない」ということは事実だとするとそれはイメージングするかもしくは迷い易い fact6: そのぽちゅぽよLv.21は犯し易くない fact7: もしこのものもにゃLv.59が賛成し難いならそのぽちゅぽよLv.21は犯し易い
void -> assump1: 以下のように仮定する。このものもにゃLv.59は風靡する; fact3 & assump1 -> int1: このものもにゃLv.59は賛成し難い; int1 & fact7 -> int2: そのぽちゅぽよLv.21は犯し易い; int2 & fact6 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact3 & assump1 -> int1: {B}{a}; int1 & fact7 -> int2: {C}{b}; int2 & fact6 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。このものもにゃLv.59は風靡する
fact9 -> int4: 仮にこのものもにゃLv.59が容認出来ないならこのものもにゃLv.59は犯し易いかあるいはそれは賛成し難い;
$facts$ = fact1: 仮にそのぽちゅぽよLv.21が容認出来るかもしくは迷い易くないかまたはどちらもであるとするとこのものもにゃLv.59は容認出来るということはない fact2: もしこのものもにゃLv.59が賛成し難くないがしかし風靡すればこのぷゆぷちゅLv.78は犯し易くない fact3: 仮にこのものもにゃLv.59が風靡すればこのものもにゃLv.59は賛成し難い fact4: 「とあるモンスターが容認出来るということはないとしたらそれは犯し易いかまたはそれは賛成し難い」ということは事実である fact5: もし仮に「そのぽちゅぽよLv.21はすーごくない」ということは事実だとするとそれはイメージングするかもしくは迷い易い fact6: そのぽちゅぽよLv.21は犯し易くない fact7: もしこのものもにゃLv.59が賛成し難いならそのぽちゅぽよLv.21は犯し易い ; $hypothesis$ = 以下のように仮定する。このものもにゃLv.59は風靡する ; $proof$ = 
void -> assump1: 以下のように仮定する。このものもにゃLv.59は風靡する; fact3 & assump1 -> int1: このものもにゃLv.59は賛成し難い; int1 & fact7 -> int2: そのぽちゅぽよLv.21は犯し易い; int2 & fact6 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; fact3 & assump1 -> int1: {B}{a}; int1 & fact7 -> int2: {C}{b}; int2 & fact6 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__