狭いということが生じる
fact1: もにゃもえLv.86事件は生み易いということにもたらされる fact2: 軽しということが起きる fact3: 仮にもにゃもえLv.86事件が起きるし軽しということが起きれば狭いということは生じない fact4: 選択され易いということが発生するかぷよぷにLv.41事件が起きるかまたは両方ともだ fact5: 発症し易いということは「もにゃもえLv.86事件が発生する」ということを引き起こす fact6: 発症し易いということが生じるかあるいは生み易いということが起きる
fact6 & fact5 & fact1 -> int1: もにゃもえLv.86事件が起きる; int1 & fact2 -> int2: もにゃもえLv.86事件が起きるしさらに軽しということが生じる; int2 & fact3 -> hypothesis;
fact6 & fact5 & fact1 -> int1: {C}; int1 & fact2 -> int2: ({C} & {D}); int2 & fact3 -> hypothesis;
$facts$ = fact1: もにゃもえLv.86事件は生み易いということにもたらされる fact2: 軽しということが起きる fact3: 仮にもにゃもえLv.86事件が起きるし軽しということが起きれば狭いということは生じない fact4: 選択され易いということが発生するかぷよぷにLv.41事件が起きるかまたは両方ともだ fact5: 発症し易いということは「もにゃもえLv.86事件が発生する」ということを引き起こす fact6: 発症し易いということが生じるかあるいは生み易いということが起きる ; $hypothesis$ = 狭いということが生じる ; $proof$ = 
fact6 & fact5 & fact1 -> int1: もにゃもえLv.86事件が起きる; int1 & fact2 -> int2: もにゃもえLv.86事件が起きるしさらに軽しということが生じる; int2 & fact3 -> hypothesis; __DISPROVED__
fact6 & fact5 & fact1 -> int1: {C}; int1 & fact2 -> int2: ({C} & {D}); int2 & fact3 -> hypothesis; __DISPROVED__