まくまゆLv.61事件が発生する
fact1: 「図り難いということが生じるかもしくはぷにゅぷいLv.19事件が発生するかあるいは両方ともだ」ということは成り立たないとすればまくまゆLv.61事件は起きない fact2: もしもまちゅまくLv.99事件は発生しなくて薄青いということは起きないとしたら図り難いということは起きない fact3: 薄青いということは起こらない fact4: 手っ取り早いということは「阿呆らしいということは起きない」ということに誘発される fact5: 「もやもにLv.56事件は起こらない」ということは軍人らしいということは起こらないということに阻止される fact6: 図り難いということは生じないということはまくまゆLv.61事件を生じさせる fact7: まちゅまくLv.99事件は起こらなくて薄青いということは発生しない fact8: 「図り難いということは生じない」ということは「まちゅまくLv.99事件は発生しない一方で薄青いということが起こる」ということに由来する
fact2 & fact7 -> int1: 「図り難いということは起きない」ということは正しい; int1 & fact6 -> hypothesis;
fact2 & fact7 -> int1: ¬{B}; int1 & fact6 -> hypothesis;
「まくまゆLv.61事件は起きない」ということは成り立つ
$facts$ = fact1: 「図り難いということが生じるかもしくはぷにゅぷいLv.19事件が発生するかあるいは両方ともだ」ということは成り立たないとすればまくまゆLv.61事件は起きない fact2: もしもまちゅまくLv.99事件は発生しなくて薄青いということは起きないとしたら図り難いということは起きない fact3: 薄青いということは起こらない fact4: 手っ取り早いということは「阿呆らしいということは起きない」ということに誘発される fact5: 「もやもにLv.56事件は起こらない」ということは軍人らしいということは起こらないということに阻止される fact6: 図り難いということは生じないということはまくまゆLv.61事件を生じさせる fact7: まちゅまくLv.99事件は起こらなくて薄青いということは発生しない fact8: 「図り難いということは生じない」ということは「まちゅまくLv.99事件は発生しない一方で薄青いということが起こる」ということに由来する ; $hypothesis$ = まくまゆLv.61事件が発生する ; $proof$ = 
fact2 & fact7 -> int1: 「図り難いということは起きない」ということは正しい; int1 & fact6 -> hypothesis; __PROVED__
fact2 & fact7 -> int1: ¬{B}; int1 & fact6 -> hypothesis; __PROVED__