当たり易いということは起きない
fact1: まくまわLv.82事件は捕らわれ易いということが生じるということに引き起こされる fact2: もしもぷよぷゆLv.85事件およびまくまわLv.82事件両方が発生するとしたら当たり易いということは発生しない fact3: もにょもよLv.69事件は危うしということをもたらす fact4: まやまわLv.76事件がまくまわLv.82事件は起きないということを回避する fact5: まやまわLv.76事件か捕らわれ易いということが起きる fact6: ぷくぷにLv.41事件はぴちょぴやLv.61事件を発生させる fact7: ぷよぷゆLv.85事件が起こる
fact5 & fact4 & fact1 -> int1: まくまわLv.82事件が起こる; int1 & fact7 -> int2: ぷよぷゆLv.85事件が起きるしかつまくまわLv.82事件が発生する; int2 & fact2 -> hypothesis;
fact5 & fact4 & fact1 -> int1: {C}; int1 & fact7 -> int2: ({D} & {C}); int2 & fact2 -> hypothesis;
$facts$ = fact1: まくまわLv.82事件は捕らわれ易いということが生じるということに引き起こされる fact2: もしもぷよぷゆLv.85事件およびまくまわLv.82事件両方が発生するとしたら当たり易いということは発生しない fact3: もにょもよLv.69事件は危うしということをもたらす fact4: まやまわLv.76事件がまくまわLv.82事件は起きないということを回避する fact5: まやまわLv.76事件か捕らわれ易いということが起きる fact6: ぷくぷにLv.41事件はぴちょぴやLv.61事件を発生させる fact7: ぷよぷゆLv.85事件が起こる ; $hypothesis$ = 当たり易いということは起きない ; $proof$ = 
fact5 & fact4 & fact1 -> int1: まくまわLv.82事件が起こる; int1 & fact7 -> int2: ぷよぷゆLv.85事件が起きるしかつまくまわLv.82事件が発生する; int2 & fact2 -> hypothesis; __PROVED__
fact5 & fact4 & fact1 -> int1: {C}; int1 & fact7 -> int2: ({D} & {C}); int2 & fact2 -> hypothesis; __PROVED__