ぽにゅぽえLv.39事件が生じる
fact1: ぽわぽくLv.18事件が発生する fact2: 「もちょもゆLv.94事件は起こらない一方で煙たいということが起こる」ということは成り立たないならぽわぽくLv.18事件は起きない fact3: 「「「もちょもゆLv.94事件と煙たいということどちらもが起こる」ということは本当である」ということは嘘だ」ということは間違いでない fact4: もしも「ぽにゅぽえLv.39事件は生じない」ということは確かだとしたら「もちょもゆLv.94事件が起きるしその上煙たいということが起こる」ということは間違いだ fact5: 「ぽにゅぽえLv.39事件は起きない」ということは本当だとすると「もちょもゆLv.94事件は生じなくて煙たいということが起きる」ということは偽だ
void -> assump1: 以下のように仮定する。ぽにゅぽえLv.39事件は起こらない; fact5 & assump1 -> int1: 「もちょもゆLv.94事件は生じなくて煙たいということが起きる」ということは偽である; int1 & fact2 -> int2: ぽわぽくLv.18事件は起こらない; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: ¬{A}; fact5 & assump1 -> int1: ¬(¬{AA} & {AB}); int1 & fact2 -> int2: ¬{B}; int2 & fact1 -> int3: #F#; [assump1] & int3 -> hypothesis;
$facts$ = fact1: ぽわぽくLv.18事件が発生する fact2: 「もちょもゆLv.94事件は起こらない一方で煙たいということが起こる」ということは成り立たないならぽわぽくLv.18事件は起きない fact3: 「「「もちょもゆLv.94事件と煙たいということどちらもが起こる」ということは本当である」ということは嘘だ」ということは間違いでない fact4: もしも「ぽにゅぽえLv.39事件は生じない」ということは確かだとしたら「もちょもゆLv.94事件が起きるしその上煙たいということが起こる」ということは間違いだ fact5: 「ぽにゅぽえLv.39事件は起きない」ということは本当だとすると「もちょもゆLv.94事件は生じなくて煙たいということが起きる」ということは偽だ ; $hypothesis$ = ぽにゅぽえLv.39事件が生じる ; $proof$ = 
void -> assump1: 以下のように仮定する。ぽにゅぽえLv.39事件は起こらない; fact5 & assump1 -> int1: 「もちょもゆLv.94事件は生じなくて煙たいということが起きる」ということは偽である; int1 & fact2 -> int2: ぽわぽくLv.18事件は起こらない; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: ¬{A}; fact5 & assump1 -> int1: ¬(¬{AA} & {AB}); int1 & fact2 -> int2: ¬{B}; int2 & fact1 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__