ぴにぴやLv.17事件は生じない
fact1: 「どでかいということは発生しないけれどぷくぷちゃLv.75事件が発生する」ということは誤りだ fact2: 「どでかいということではなくてぷくぷちゃLv.75事件が起きる」ということは成り立たないとすればぴにぴやLv.17事件が起きる fact3: 「ぴにぴやLv.17事件は起きない」ということはどでかいということが発生するということに阻まれる fact4: 「みえみなLv.31事件は生じないがまちょまちょLv.15事件が起こる」ということは嘘である fact5: 「御話し下さることは発生しない」ということは「ぴにぴやLv.17事件ではなく剥離し難いということが起きる」ということに繋がる fact6: 「御通ずることが起こるしかつ廃棄することが起こる」ということは偽である fact7: 「辛いということとデータ化することが起きる」ということは成り立たない
fact1 -> int1: 「どでかいということは発生しないけれどぷくぷちゃLv.75事件が発生する」ということは誤りだ; int1 & fact2 -> hypothesis;
fact1 -> int1: ¬(¬{AA} & {AB}); int1 & fact2 -> hypothesis;
ぴにぴやLv.17事件は生じない
$facts$ = fact1: 「どでかいということは発生しないけれどぷくぷちゃLv.75事件が発生する」ということは誤りだ fact2: 「どでかいということではなくてぷくぷちゃLv.75事件が起きる」ということは成り立たないとすればぴにぴやLv.17事件が起きる fact3: 「ぴにぴやLv.17事件は起きない」ということはどでかいということが発生するということに阻まれる fact4: 「みえみなLv.31事件は生じないがまちょまちょLv.15事件が起こる」ということは嘘である fact5: 「御話し下さることは発生しない」ということは「ぴにぴやLv.17事件ではなく剥離し難いということが起きる」ということに繋がる fact6: 「御通ずることが起こるしかつ廃棄することが起こる」ということは偽である fact7: 「辛いということとデータ化することが起きる」ということは成り立たない ; $hypothesis$ = ぴにぴやLv.17事件は生じない ; $proof$ = 
fact1 -> int1: 「どでかいということは発生しないけれどぷくぷちゃLv.75事件が発生する」ということは誤りだ; int1 & fact2 -> hypothesis; __DISPROVED__
fact1 -> int1: ¬(¬{AA} & {AB}); int1 & fact2 -> hypothesis; __DISPROVED__