知り抜くことが起きる
fact1: 「知り抜くことが発生しなくてそれにまくまいLv.90事件は発生しない」ということはぴやぴにLv.67事件に起因する fact2: みちょみいLv.55事件は起きないかみにょみなLv.44事件は起こらないかあるいはどちらもである fact3: 「後ろめたいということは生じない」ということは知り抜くことに帰結する fact4: 「知り抜くことは起こらない」ということは取れ易いということは生じないということに阻まれる fact5: ぴちゃぴいLv.30事件は起こらない fact6: 「後ろめたいということは生じない」ということかあるいは取れ易いということは起きないということかまたは両方ともは「ぴちゃぴいLv.30事件は生じない」ということに誘発される fact7: もしもまくまいLv.90事件が起こらないとすればぴちゃぴいLv.30事件が生じるし知り抜くことは生じない fact8: 「体することは起きない」ということは「ぷくぷのLv.17事件は発生しない」ということに防がれる
fact6 & fact5 -> int1: 「後ろめたいということは起きないかまたは取れ易いということは発生しないかあるいは両方ともだ」ということは真実である; int1 & fact3 & fact4 -> hypothesis;
fact6 & fact5 -> int1: (¬{AA} v ¬{AB}); int1 & fact3 & fact4 -> hypothesis;
「まにまにLv.25事件が起こる」ということは本当である
$facts$ = fact1: 「知り抜くことが発生しなくてそれにまくまいLv.90事件は発生しない」ということはぴやぴにLv.67事件に起因する fact2: みちょみいLv.55事件は起きないかみにょみなLv.44事件は起こらないかあるいはどちらもである fact3: 「後ろめたいということは生じない」ということは知り抜くことに帰結する fact4: 「知り抜くことは起こらない」ということは取れ易いということは生じないということに阻まれる fact5: ぴちゃぴいLv.30事件は起こらない fact6: 「後ろめたいということは生じない」ということかあるいは取れ易いということは起きないということかまたは両方ともは「ぴちゃぴいLv.30事件は生じない」ということに誘発される fact7: もしもまくまいLv.90事件が起こらないとすればぴちゃぴいLv.30事件が生じるし知り抜くことは生じない fact8: 「体することは起きない」ということは「ぷくぷのLv.17事件は発生しない」ということに防がれる ; $hypothesis$ = 知り抜くことが起きる ; $proof$ = 
fact6 & fact5 -> int1: 「後ろめたいということは起きないかまたは取れ易いということは発生しないかあるいは両方ともだ」ということは真実である; int1 & fact3 & fact4 -> hypothesis; __PROVED__
fact6 & fact5 -> int1: (¬{AA} v ¬{AB}); int1 & fact3 & fact4 -> hypothesis; __PROVED__