無理無いということが起きる
fact1: 「親らしいということおよび溜め込み易いということが発生する」ということは「救い難いということは発生しない」ということを引き起こす fact2: もしも親らしいということは起きないとすれば素っ気ないということは発生しなくてその上揺るぎないということは生じない fact3: 救い難いということは発生しなくてみにゃみにょLv.97事件は生じないなら無理無いということが起こる fact4: もえもゆLv.33事件と参禅すること両方ともが発生する fact5: みにゃみにょLv.97事件は発生しない fact6: 親らしいということおよび細かいということどちらもが起きる fact7: 細かいということが起きる fact8: 溜め込み易いということが起きる
fact6 -> int1: 親らしいということが発生する; int1 & fact8 -> int2: 親らしいということと溜め込み易いということ両方が生じる; int2 & fact1 -> int3: 救い難いということは生じない; int3 & fact5 -> int4: 救い難いということは起こらなくてみにゃみにょLv.97事件は発生しない; int4 & fact3 -> hypothesis;
fact6 -> int1: {A}; int1 & fact8 -> int2: ({A} & {C}); int2 & fact1 -> int3: ¬{D}; int3 & fact5 -> int4: (¬{D} & ¬{E}); int4 & fact3 -> hypothesis;
素っ気ないということは起きないし揺るぎないということは発生しない
$facts$ = fact1: 「親らしいということおよび溜め込み易いということが発生する」ということは「救い難いということは発生しない」ということを引き起こす fact2: もしも親らしいということは起きないとすれば素っ気ないということは発生しなくてその上揺るぎないということは生じない fact3: 救い難いということは発生しなくてみにゃみにょLv.97事件は生じないなら無理無いということが起こる fact4: もえもゆLv.33事件と参禅すること両方ともが発生する fact5: みにゃみにょLv.97事件は発生しない fact6: 親らしいということおよび細かいということどちらもが起きる fact7: 細かいということが起きる fact8: 溜め込み易いということが起きる ; $hypothesis$ = 無理無いということが起きる ; $proof$ = 
fact6 -> int1: 親らしいということが発生する; int1 & fact8 -> int2: 親らしいということと溜め込み易いということ両方が生じる; int2 & fact1 -> int3: 救い難いということは生じない; int3 & fact5 -> int4: 救い難いということは起こらなくてみにゃみにょLv.97事件は発生しない; int4 & fact3 -> hypothesis; __PROVED__
fact6 -> int1: {A}; int1 & fact8 -> int2: ({A} & {C}); int2 & fact1 -> int3: ¬{D}; int3 & fact5 -> int4: (¬{D} & ¬{E}); int4 & fact3 -> hypothesis; __PROVED__