骨っぽいということは発生しない
fact1: 「ぴちょぴにゅLv.91事件は起こらない」ということはまのまのLv.40事件およびもにゅもゆLv.15事件が生じるを発生させる fact2: 形容し難いということは「まのまのLv.40事件が発生するし加えて白しということが生じる」ということに阻まれる fact3: 仮に手酷いということが起きるかあるいは白しということが発生するなら骨っぽいということは生じない fact4: 形容し難いということは起きないとすれば骨っぽいということと手酷いということが起きる fact5: もにゃもにLv.57事件が発生する fact6: 手酷いということと形容し難いということが起きる
fact6 -> int1: 手酷いということが発生する; int1 -> int2: 手酷いということが起きるか白しということが発生する; int2 & fact3 -> hypothesis;
fact6 -> int1: {A}; int1 -> int2: ({A} v {C}); int2 & fact3 -> hypothesis;
骨っぽいということが発生する
$facts$ = fact1: 「ぴちょぴにゅLv.91事件は起こらない」ということはまのまのLv.40事件およびもにゅもゆLv.15事件が生じるを発生させる fact2: 形容し難いということは「まのまのLv.40事件が発生するし加えて白しということが生じる」ということに阻まれる fact3: 仮に手酷いということが起きるかあるいは白しということが発生するなら骨っぽいということは生じない fact4: 形容し難いということは起きないとすれば骨っぽいということと手酷いということが起きる fact5: もにゃもにLv.57事件が発生する fact6: 手酷いということと形容し難いということが起きる ; $hypothesis$ = 骨っぽいということは発生しない ; $proof$ = 
fact6 -> int1: 手酷いということが発生する; int1 -> int2: 手酷いということが起きるか白しということが発生する; int2 & fact3 -> hypothesis; __PROVED__
fact6 -> int1: {A}; int1 -> int2: ({A} v {C}); int2 & fact3 -> hypothesis; __PROVED__