言い難いということは起こらない
fact1: 仮にみゆみちゃLv.42事件が生じるし更に理解し辛いということが起きるとすれば言い難いということは起こらない fact2: もしも仲睦まじいということは発生しないならば「言い難いということが生じるしそれに読み難いということが発生する」ということは間違っている fact3: みにょみゆLv.96事件が起こらないということは「みゆみちゃLv.42事件ではなくてぴやぴちょLv.40事件が発生する」ということはきっかけである fact4: みゆみちゃLv.42事件はぴやぴちょLv.40事件に由来する fact5: 「理解し辛いということではなく読み難いということが発生する」ということはみゆみちゃLv.42事件を回避する fact6: 「読み難いということおよび仲睦まじいということどちらもが起きる」ということは俗っぽいということは起こらないということに引き起こされる fact7: 理解し辛いということが生じる fact8: もし「堆いということは起きないけど俗っぽいということが生じる」ということは成り立たないとしたら仲睦まじいということは起きない fact9: ぴやぴちょLv.40事件が起こる
fact4 & fact9 -> int1: みゆみちゃLv.42事件が発生する; int1 & fact7 -> int2: みゆみちゃLv.42事件および理解し辛いということが起こる; int2 & fact1 -> hypothesis;
fact4 & fact9 -> int1: {B}; int1 & fact7 -> int2: ({B} & {C}); int2 & fact1 -> hypothesis;
みにょみゆLv.96事件は生じない
$facts$ = fact1: 仮にみゆみちゃLv.42事件が生じるし更に理解し辛いということが起きるとすれば言い難いということは起こらない fact2: もしも仲睦まじいということは発生しないならば「言い難いということが生じるしそれに読み難いということが発生する」ということは間違っている fact3: みにょみゆLv.96事件が起こらないということは「みゆみちゃLv.42事件ではなくてぴやぴちょLv.40事件が発生する」ということはきっかけである fact4: みゆみちゃLv.42事件はぴやぴちょLv.40事件に由来する fact5: 「理解し辛いということではなく読み難いということが発生する」ということはみゆみちゃLv.42事件を回避する fact6: 「読み難いということおよび仲睦まじいということどちらもが起きる」ということは俗っぽいということは起こらないということに引き起こされる fact7: 理解し辛いということが生じる fact8: もし「堆いということは起きないけど俗っぽいということが生じる」ということは成り立たないとしたら仲睦まじいということは起きない fact9: ぴやぴちょLv.40事件が起こる ; $hypothesis$ = 言い難いということは起こらない ; $proof$ = 
fact4 & fact9 -> int1: みゆみちゃLv.42事件が発生する; int1 & fact7 -> int2: みゆみちゃLv.42事件および理解し辛いということが起こる; int2 & fact1 -> hypothesis; __PROVED__
fact4 & fact9 -> int1: {B}; int1 & fact7 -> int2: ({B} & {C}); int2 & fact1 -> hypothesis; __PROVED__