間断無いということは起こらない
fact1: すこいということが発生する fact2: 逞しいということが起こるしプロらしいということが起きる fact3: 「みにゃみちょLv.3事件が生じるしすこいということが起こる」ということは間断無いということを回避する fact4: 薄青いということとぽねぽえLv.65事件両方が発生する fact5: 黒しということは生じないということは「間断無いということが生じるしおまけにみにゃみちょLv.3事件が発生する」ということを招く fact6: ぷにぷちゅLv.52事件が生じる fact7: 育ち難いということが起こる fact8: みにゃみちょLv.3事件および黒しということ両方が起こる
fact8 -> int1: みにゃみちょLv.3事件が起きる; int1 & fact1 -> int2: みにゃみちょLv.3事件が起きるしさらにすこいということが生じる; int2 & fact3 -> hypothesis;
fact8 -> int1: {A}; int1 & fact1 -> int2: ({A} & {C}); int2 & fact3 -> hypothesis;
間断無いということが生じる
$facts$ = fact1: すこいということが発生する fact2: 逞しいということが起こるしプロらしいということが起きる fact3: 「みにゃみちょLv.3事件が生じるしすこいということが起こる」ということは間断無いということを回避する fact4: 薄青いということとぽねぽえLv.65事件両方が発生する fact5: 黒しということは生じないということは「間断無いということが生じるしおまけにみにゃみちょLv.3事件が発生する」ということを招く fact6: ぷにぷちゅLv.52事件が生じる fact7: 育ち難いということが起こる fact8: みにゃみちょLv.3事件および黒しということ両方が起こる ; $hypothesis$ = 間断無いということは起こらない ; $proof$ = 
fact8 -> int1: みにゃみちょLv.3事件が起きる; int1 & fact1 -> int2: みにゃみちょLv.3事件が起きるしさらにすこいということが生じる; int2 & fact3 -> hypothesis; __PROVED__
fact8 -> int1: {A}; int1 & fact1 -> int2: ({A} & {C}); int2 & fact3 -> hypothesis; __PROVED__