撥ね上げることは発生しない
fact1: 撥ね上げることは「入学出来ることかまたはぷいぷにLv.36事件が起きる」ということに防がれる fact2: 入学出来ることが起きるし礼することが起きる fact3: ぷいぷにLv.36事件は礼することをもたらす fact4: 読み続けることが起きるということは「礼することが発生する」ということにもたらされる fact5: ぷよぷえLv.51事件および入学出来ることが生じるはもゆもえLv.47事件が生じないということは原因だ
fact2 -> int1: 入学出来ることが起きる; int1 -> int2: 入学出来ることかあるいはぷいぷにLv.36事件が起きる; int2 & fact1 -> hypothesis;
fact2 -> int1: {A}; int1 -> int2: ({A} v {C}); int2 & fact1 -> hypothesis;
ぷよぷえLv.51事件が起きるしその上読み続けることが起こる
$facts$ = fact1: 撥ね上げることは「入学出来ることかまたはぷいぷにLv.36事件が起きる」ということに防がれる fact2: 入学出来ることが起きるし礼することが起きる fact3: ぷいぷにLv.36事件は礼することをもたらす fact4: 読み続けることが起きるということは「礼することが発生する」ということにもたらされる fact5: ぷよぷえLv.51事件および入学出来ることが生じるはもゆもえLv.47事件が生じないということは原因だ ; $hypothesis$ = 撥ね上げることは発生しない ; $proof$ = 
fact2 -> int1: 入学出来ることが起きる; int1 -> int2: 入学出来ることかあるいはぷいぷにLv.36事件が起きる; int2 & fact1 -> hypothesis; __PROVED__
fact2 -> int1: {A}; int1 -> int2: ({A} v {C}); int2 & fact1 -> hypothesis; __PROVED__