リポートすることが起こる
fact1: まえまいLv.32事件が生じる fact2: 遣り難いということは起こらないということは非難がましいということおよびイメージし易いということが発生するに帰結する fact3: 物憂いということが起きる fact4: 仮に認め難いということが起きるししかもまえまいLv.32事件が起きるとすれば「リポートすることは発生しない」ということは成り立つ fact5: 物憂いということが生じるということは認め難いということのきっかけとなる fact6: 「まえまいLv.32事件ではなくリポートすることが生じる」ということは非難がましいということに由来する fact7: だだっ広いということが起こる
fact5 & fact3 -> int1: 認め難いということが発生する; int1 & fact1 -> int2: 認め難いということとまえまいLv.32事件両方ともが起こる; int2 & fact4 -> hypothesis;
fact5 & fact3 -> int1: {B}; int1 & fact1 -> int2: ({B} & {C}); int2 & fact4 -> hypothesis;
逞しいということが発生する
$facts$ = fact1: まえまいLv.32事件が生じる fact2: 遣り難いということは起こらないということは非難がましいということおよびイメージし易いということが発生するに帰結する fact3: 物憂いということが起きる fact4: 仮に認め難いということが起きるししかもまえまいLv.32事件が起きるとすれば「リポートすることは発生しない」ということは成り立つ fact5: 物憂いということが生じるということは認め難いということのきっかけとなる fact6: 「まえまいLv.32事件ではなくリポートすることが生じる」ということは非難がましいということに由来する fact7: だだっ広いということが起こる ; $hypothesis$ = リポートすることが起こる ; $proof$ = 
fact5 & fact3 -> int1: 認め難いということが発生する; int1 & fact1 -> int2: 認め難いということとまえまいLv.32事件両方ともが起こる; int2 & fact4 -> hypothesis; __DISPROVED__
fact5 & fact3 -> int1: {B}; int1 & fact1 -> int2: ({B} & {C}); int2 & fact4 -> hypothesis; __DISPROVED__