「みなみくLv.57事件が生じる」ということは成り立つ
fact1: もしも根深いということは生じないなら小気味良いということが発生するし手強いということが起こる fact2: まくまやLv.4事件は起きない fact3: 手強いということが起きる fact4: もしも根深いということが生じるしまくまやLv.4事件が起こらないとするとみなみくLv.57事件は起きない fact5: 手強いということと根深いということ両方が起こる
fact5 -> int1: 根深いということが起こる; int1 & fact2 -> int2: 根深いということが起こるしまくまやLv.4事件は発生しない; int2 & fact4 -> hypothesis;
fact5 -> int1: {B}; int1 & fact2 -> int2: ({B} & ¬{C}); int2 & fact4 -> hypothesis;
小気味良いということが起きる
$facts$ = fact1: もしも根深いということは生じないなら小気味良いということが発生するし手強いということが起こる fact2: まくまやLv.4事件は起きない fact3: 手強いということが起きる fact4: もしも根深いということが生じるしまくまやLv.4事件が起こらないとするとみなみくLv.57事件は起きない fact5: 手強いということと根深いということ両方が起こる ; $hypothesis$ = 「みなみくLv.57事件が生じる」ということは成り立つ ; $proof$ = 
fact5 -> int1: 根深いということが起こる; int1 & fact2 -> int2: 根深いということが起こるしまくまやLv.4事件は発生しない; int2 & fact4 -> hypothesis; __DISPROVED__
fact5 -> int1: {B}; int1 & fact2 -> int2: ({B} & ¬{C}); int2 & fact4 -> hypothesis; __DISPROVED__