楽しということが発生する
fact1: 雪深いということは発生しないということは「楽しということが起きるし更にぴちゃぴわLv.96事件が起きる」ということを誘発する fact2: ぴちゃぴわLv.96事件と書き直すことが生じるは巻き上げることを阻止する fact3: 早しということはぽにょぽゆLv.15事件は起こらないということに防がれる fact4: ぽにゃぽえLv.15事件は起こらない fact5: 「ぷゆぷにLv.95事件が発生するかあるいはしつっこいということは起こらないかもしくは両方ともだ」ということは成り立たないとしたら楽しということは発生しない fact6: もしも巻き上げることは生じないなら「ぷゆぷにLv.95事件が起こるかしつっこいということは発生しないか両方だ」ということは誤っている fact7: 「ぴちゃぴわLv.96事件および雪深いということ両方が発生する」ということは確かだ fact8: 書き直すことが生じる fact9: 可笑しいということは起きない
fact7 -> int1: 「ぴちゃぴわLv.96事件が起こる」ということは成り立つ; int1 & fact8 -> int2: ぴちゃぴわLv.96事件および書き直すことどちらもが起きる; int2 & fact2 -> int3: 巻き上げることは起こらない; int3 & fact6 -> int4: 「ぷゆぷにLv.95事件が起きるかまたはしつっこいということは起こらないかもしくはどちらもである」ということは誤りである; int4 & fact5 -> hypothesis;
fact7 -> int1: {A}; int1 & fact8 -> int2: ({A} & {C}); int2 & fact2 -> int3: ¬{D}; int3 & fact6 -> int4: ¬({F} v ¬{E}); int4 & fact5 -> hypothesis;
楽しということが発生する
$facts$ = fact1: 雪深いということは発生しないということは「楽しということが起きるし更にぴちゃぴわLv.96事件が起きる」ということを誘発する fact2: ぴちゃぴわLv.96事件と書き直すことが生じるは巻き上げることを阻止する fact3: 早しということはぽにょぽゆLv.15事件は起こらないということに防がれる fact4: ぽにゃぽえLv.15事件は起こらない fact5: 「ぷゆぷにLv.95事件が発生するかあるいはしつっこいということは起こらないかもしくは両方ともだ」ということは成り立たないとしたら楽しということは発生しない fact6: もしも巻き上げることは生じないなら「ぷゆぷにLv.95事件が起こるかしつっこいということは発生しないか両方だ」ということは誤っている fact7: 「ぴちゃぴわLv.96事件および雪深いということ両方が発生する」ということは確かだ fact8: 書き直すことが生じる fact9: 可笑しいということは起きない ; $hypothesis$ = 楽しということが発生する ; $proof$ = 
fact7 -> int1: 「ぴちゃぴわLv.96事件が起こる」ということは成り立つ; int1 & fact8 -> int2: ぴちゃぴわLv.96事件および書き直すことどちらもが起きる; int2 & fact2 -> int3: 巻き上げることは起こらない; int3 & fact6 -> int4: 「ぷゆぷにLv.95事件が起きるかまたはしつっこいということは起こらないかもしくはどちらもである」ということは誤りである; int4 & fact5 -> hypothesis; __DISPROVED__
fact7 -> int1: {A}; int1 & fact8 -> int2: ({A} & {C}); int2 & fact2 -> int3: ¬{D}; int3 & fact6 -> int4: ¬({F} v ¬{E}); int4 & fact5 -> hypothesis; __DISPROVED__