堆いということが生じる
fact1: もし仮に「ぷいぷゆLv.80事件が起こるけれど与し易いということは生じない」ということは成り立つということはないならば堆いということが起きる fact2: 見落とすことは発生しないということは自覚出来ることを生じさせる fact3: もしも「ぽにゅぽにLv.63事件は生じない」ということは成り立つとすれば「ぷいぷゆLv.80事件が起こるがしかし与し易いということは起こらない」ということは事実でない fact4: 「良いということおよび通い合うこと両方ともが生じる」ということは真実だ fact5: 「ぴちょぴわLv.94事件は生じなくて快いということは起きない」ということは「与し易いということは起こらない」ということをもたらす fact6: ぴわぴなLv.76事件および飛行機らしいということが発生する fact7: 通い合うことは「ぽにゅぽにLv.63事件は発生しないけど通い合うことが起きる」ということを発生させる fact8: もし「まちょまゆLv.95事件が起こるがしかしぴちょぴわLv.94事件は発生しない」ということは誤りであるならもよもねLv.80事件が起きる fact9: 堆いということは「良いということは起こらない」ということに阻まれる
fact4 -> int1: 通い合うことが生じる; int1 & fact7 -> int2: ぽにゅぽにLv.63事件ではなく通い合うことが発生する; int2 -> int3: ぽにゅぽにLv.63事件は発生しない; int3 & fact3 -> int4: 「ぷいぷゆLv.80事件が起きるし与し易いということは起こらない」ということは成り立たない; int4 & fact1 -> hypothesis;
fact4 -> int1: {B}; int1 & fact7 -> int2: (¬{D} & {B}); int2 -> int3: ¬{D}; int3 & fact3 -> int4: ¬({C} & ¬{E}); int4 & fact1 -> hypothesis;
「堆いということは起きない」ということは成り立つ
$facts$ = fact1: もし仮に「ぷいぷゆLv.80事件が起こるけれど与し易いということは生じない」ということは成り立つということはないならば堆いということが起きる fact2: 見落とすことは発生しないということは自覚出来ることを生じさせる fact3: もしも「ぽにゅぽにLv.63事件は生じない」ということは成り立つとすれば「ぷいぷゆLv.80事件が起こるがしかし与し易いということは起こらない」ということは事実でない fact4: 「良いということおよび通い合うこと両方ともが生じる」ということは真実だ fact5: 「ぴちょぴわLv.94事件は生じなくて快いということは起きない」ということは「与し易いということは起こらない」ということをもたらす fact6: ぴわぴなLv.76事件および飛行機らしいということが発生する fact7: 通い合うことは「ぽにゅぽにLv.63事件は発生しないけど通い合うことが起きる」ということを発生させる fact8: もし「まちょまゆLv.95事件が起こるがしかしぴちょぴわLv.94事件は発生しない」ということは誤りであるならもよもねLv.80事件が起きる fact9: 堆いということは「良いということは起こらない」ということに阻まれる ; $hypothesis$ = 堆いということが生じる ; $proof$ = 
fact4 -> int1: 通い合うことが生じる; int1 & fact7 -> int2: ぽにゅぽにLv.63事件ではなく通い合うことが発生する; int2 -> int3: ぽにゅぽにLv.63事件は発生しない; int3 & fact3 -> int4: 「ぷいぷゆLv.80事件が起きるし与し易いということは起こらない」ということは成り立たない; int4 & fact1 -> hypothesis; __PROVED__
fact4 -> int1: {B}; int1 & fact7 -> int2: (¬{D} & {B}); int2 -> int3: ¬{D}; int3 & fact3 -> int4: ¬({C} & ¬{E}); int4 & fact1 -> hypothesis; __PROVED__