受け難いということは発生しない
fact1: ぴゆぴにょLv.78事件は起きない fact2: 「仕舞い易いということが発生するしかつすっごいということが起こる」ということは受け難いということが起きるということを阻む fact3: もし仕舞い易いということは発生しないとすると受け難いということが発生するしまねまえLv.83事件が起きる fact4: 正しいということは起きないとすれば「すっごいということとぴゆぴにょLv.78事件どちらもが生じる」ということは事実と異なる fact5: 仮に放校することが生じるとすると危なっかしいということが生じるけれど正しいということは発生しない fact6: すっごいということが生じる fact7: 「まねまえLv.83事件が起こるしさらに仕舞い易いということが発生する」ということは「ぴゆぴにょLv.78事件は起きない」ということがきっかけだ
fact7 & fact1 -> int1: まねまえLv.83事件と仕舞い易いということ両方が起きる; int1 -> int2: 仕舞い易いということが起きる; int2 & fact6 -> int3: 仕舞い易いということとすっごいということ両方が起こる; int3 & fact2 -> hypothesis;
fact7 & fact1 -> int1: ({A} & {B}); int1 -> int2: {B}; int2 & fact6 -> int3: ({B} & {C}); int3 & fact2 -> hypothesis;
受け難いということが起きる
$facts$ = fact1: ぴゆぴにょLv.78事件は起きない fact2: 「仕舞い易いということが発生するしかつすっごいということが起こる」ということは受け難いということが起きるということを阻む fact3: もし仕舞い易いということは発生しないとすると受け難いということが発生するしまねまえLv.83事件が起きる fact4: 正しいということは起きないとすれば「すっごいということとぴゆぴにょLv.78事件どちらもが生じる」ということは事実と異なる fact5: 仮に放校することが生じるとすると危なっかしいということが生じるけれど正しいということは発生しない fact6: すっごいということが生じる fact7: 「まねまえLv.83事件が起こるしさらに仕舞い易いということが発生する」ということは「ぴゆぴにょLv.78事件は起きない」ということがきっかけだ ; $hypothesis$ = 受け難いということは発生しない ; $proof$ = 
fact7 & fact1 -> int1: まねまえLv.83事件と仕舞い易いということ両方が起きる; int1 -> int2: 仕舞い易いということが起きる; int2 & fact6 -> int3: 仕舞い易いということとすっごいということ両方が起こる; int3 & fact2 -> hypothesis; __PROVED__
fact7 & fact1 -> int1: ({A} & {B}); int1 -> int2: {B}; int2 & fact6 -> int3: ({B} & {C}); int3 & fact2 -> hypothesis; __PROVED__