まにまなLv.75事件が起きる
fact1: もし仮にぴなぴいLv.73事件が起こるとすれば「薄いということは発生しないがしかしまにまなLv.75事件が起きる」ということは事実と異なる fact2: まにまなLv.75事件は発生しないということは「薄いということが生じる」ということに阻止される fact3: 仮にぴいぴねLv.66事件および恙無いということ両方ともが発生するなら予測し難いということは起こらない fact4: ぴいぴねLv.66事件が生じるしその上ぷにぷにLv.63事件が起きる fact5: 薄いということが起きる fact6: 仮に予測し難いということは発生しないならぴなぴいLv.73事件が発生するしおまけにもえもくLv.39事件が生じる
fact5 -> int1: 薄いということが起きる; int1 & fact2 -> hypothesis;
fact5 -> int1: {A}; int1 & fact2 -> hypothesis;
まにまなLv.75事件は起こらない
fact10 -> int2: ぴいぴねLv.66事件が起こる;
$facts$ = fact1: もし仮にぴなぴいLv.73事件が起こるとすれば「薄いということは発生しないがしかしまにまなLv.75事件が起きる」ということは事実と異なる fact2: まにまなLv.75事件は発生しないということは「薄いということが生じる」ということに阻止される fact3: 仮にぴいぴねLv.66事件および恙無いということ両方ともが発生するなら予測し難いということは起こらない fact4: ぴいぴねLv.66事件が生じるしその上ぷにぷにLv.63事件が起きる fact5: 薄いということが起きる fact6: 仮に予測し難いということは発生しないならぴなぴいLv.73事件が発生するしおまけにもえもくLv.39事件が生じる ; $hypothesis$ = まにまなLv.75事件が起きる ; $proof$ = 
fact5 -> int1: 薄いということが起きる; int1 & fact2 -> hypothesis; __PROVED__
fact5 -> int1: {A}; int1 & fact2 -> hypothesis; __PROVED__