窄まることは発生しない
fact1: みにゅみちょLv.85事件が起こる fact2: 仮に「短いということが起こる一方で小賢しいということは発生しない」ということは確かでないとしたら小賢しいということが起こる fact3: ぷゆぷいLv.6事件と短いということ両方が起こる fact4: 仮に短いということとみにゅみちょLv.85事件が生じるなら窄まることは生じない fact5: みやみにょLv.75事件およびまにゅまゆLv.52事件両方が起こる fact6: もし仮にぷゆぷいLv.6事件は起こらないとすると「短いということが発生するし小賢しいということは生じない」ということは誤っている fact7: みにゅみちょLv.85事件は「もちょもわLv.53事件と歩き辛いということが起きる」ということに阻まれる
fact3 -> int1: 短いということが発生する; int1 & fact1 -> int2: 短いということは発生するししかもみにゅみちょLv.85事件は発生する; int2 & fact4 -> hypothesis;
fact3 -> int1: {B}; int1 & fact1 -> int2: ({B} & {C}); int2 & fact4 -> hypothesis;
小賢しいということが起こる
$facts$ = fact1: みにゅみちょLv.85事件が起こる fact2: 仮に「短いということが起こる一方で小賢しいということは発生しない」ということは確かでないとしたら小賢しいということが起こる fact3: ぷゆぷいLv.6事件と短いということ両方が起こる fact4: 仮に短いということとみにゅみちょLv.85事件が生じるなら窄まることは生じない fact5: みやみにょLv.75事件およびまにゅまゆLv.52事件両方が起こる fact6: もし仮にぷゆぷいLv.6事件は起こらないとすると「短いということが発生するし小賢しいということは生じない」ということは誤っている fact7: みにゅみちょLv.85事件は「もちょもわLv.53事件と歩き辛いということが起きる」ということに阻まれる ; $hypothesis$ = 窄まることは発生しない ; $proof$ = 
fact3 -> int1: 短いということが発生する; int1 & fact1 -> int2: 短いということは発生するししかもみにゅみちょLv.85事件は発生する; int2 & fact4 -> hypothesis; __PROVED__
fact3 -> int1: {B}; int1 & fact1 -> int2: ({B} & {C}); int2 & fact4 -> hypothesis; __PROVED__