以下のように仮定する。あのぽちょぽにゅLv.0は想像し難い
fact1: 仮にそのぽくぽにゃLv.77は想像し難いとすれば「それはしどけなくないけれど冗談ぽい」ということは成り立たない fact2: 「あのぽちょぽにゅLv.0は冗談ぽくなくてかつそれは恵み深くない」ということは嘘だとしたらそのぽくぽにゃLv.77はしどけなくない fact3: もしも「そのぽくぽにゃLv.77が想像し難いということはないしその上それはしどけなくない」ということは偽であるとするとあのぽちょぽにゅLv.0は恵み深いということはない fact4: もしあのぽちょぽにゅLv.0は想像し難いとしたら「冗談ぽくないし恵み深くない」ということは間違っている fact5: 信仰深くないモンスターは想像し難くてしどけない fact6: そのぽくぽにゃLv.77はしどけない fact7: もし仮に「あのぽちょぽにゅLv.0は狙い難い」ということは真実ならば「あのぽちょぽにゅLv.0はしどけなくないがしかし頼み難い」ということは嘘だ
void -> assump1: 以下のように仮定する。あのぽちょぽにゅLv.0は想像し難い; fact4 & assump1 -> int1: 「あのぽちょぽにゅLv.0は冗談ぽくないしまた恵み深いということはない」ということは偽である; int1 & fact2 -> int2: そのぽくぽにゃLv.77はしどけないということはない; int2 & fact6 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact4 & assump1 -> int1: ¬(¬{AA}{a} & ¬{AB}{a}); int1 & fact2 -> int2: ¬{B}{b}; int2 & fact6 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。あのぽちょぽにゅLv.0は想像し難い
fact8 -> int4: もし仮に「あのぽちょぽにゅLv.0は信仰深くない」ということは成り立つとするとあのぽちょぽにゅLv.0は想像し難いししどけない;
$facts$ = fact1: 仮にそのぽくぽにゃLv.77は想像し難いとすれば「それはしどけなくないけれど冗談ぽい」ということは成り立たない fact2: 「あのぽちょぽにゅLv.0は冗談ぽくなくてかつそれは恵み深くない」ということは嘘だとしたらそのぽくぽにゃLv.77はしどけなくない fact3: もしも「そのぽくぽにゃLv.77が想像し難いということはないしその上それはしどけなくない」ということは偽であるとするとあのぽちょぽにゅLv.0は恵み深いということはない fact4: もしあのぽちょぽにゅLv.0は想像し難いとしたら「冗談ぽくないし恵み深くない」ということは間違っている fact5: 信仰深くないモンスターは想像し難くてしどけない fact6: そのぽくぽにゃLv.77はしどけない fact7: もし仮に「あのぽちょぽにゅLv.0は狙い難い」ということは真実ならば「あのぽちょぽにゅLv.0はしどけなくないがしかし頼み難い」ということは嘘だ ; $hypothesis$ = 以下のように仮定する。あのぽちょぽにゅLv.0は想像し難い ; $proof$ = 
void -> assump1: 以下のように仮定する。あのぽちょぽにゅLv.0は想像し難い; fact4 & assump1 -> int1: 「あのぽちょぽにゅLv.0は冗談ぽくないしまた恵み深いということはない」ということは偽である; int1 & fact2 -> int2: そのぽくぽにゃLv.77はしどけないということはない; int2 & fact6 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; fact4 & assump1 -> int1: ¬(¬{AA}{a} & ¬{AB}{a}); int1 & fact2 -> int2: ¬{B}{b}; int2 & fact6 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__