追突することが生じる
fact1: 太り易いということが起こる fact2: ぽちゃぽにLv.95事件および太り易いということが起きるは「追突することが生じる」ということを阻む fact3: もしも太り易いということは起こらないとするとぽちゃぽにLv.95事件およびみねみにLv.66事件両方ともが起きる fact4: ぽちゃぽにLv.95事件とまいまちゅLv.7事件が生じる
fact4 -> int1: ぽちゃぽにLv.95事件が生じる; int1 & fact1 -> int2: 「ぽちゃぽにLv.95事件が発生するし太り易いということが起きる」ということは成り立つ; int2 & fact2 -> hypothesis;
fact4 -> int1: {A}; int1 & fact1 -> int2: ({A} & {C}); int2 & fact2 -> hypothesis;
「みねみにLv.66事件が起こるし平べったいということが起こる」ということは本当だ
$facts$ = fact1: 太り易いということが起こる fact2: ぽちゃぽにLv.95事件および太り易いということが起きるは「追突することが生じる」ということを阻む fact3: もしも太り易いということは起こらないとするとぽちゃぽにLv.95事件およびみねみにLv.66事件両方ともが起きる fact4: ぽちゃぽにLv.95事件とまいまちゅLv.7事件が生じる ; $hypothesis$ = 追突することが生じる ; $proof$ = 
fact4 -> int1: ぽちゃぽにLv.95事件が生じる; int1 & fact1 -> int2: 「ぽちゃぽにLv.95事件が発生するし太り易いということが起きる」ということは成り立つ; int2 & fact2 -> hypothesis; __DISPROVED__
fact4 -> int1: {A}; int1 & fact1 -> int2: ({A} & {C}); int2 & fact2 -> hypothesis; __DISPROVED__