引き替えることは生じない
fact1: 「学び為さることは起こらない」ということは幼しということに引き起こされる fact2: もしも愛しということは発生しないとすれば「幼しということは発生しなくて学び為さることが起こる」ということは間違いである fact3: もし仮に「愛しということおよびもにもよLv.42事件が生じる」ということは偽ならば引き替えることは起こらない fact4: みくみえLv.47事件が起こる fact5: もにもよLv.42事件は発生しないということは「引き替えることは発生しない」ということのきっかけとなる fact6: もし仮にもなもにゅLv.90事件が起きるかまたは幼しということが生じるとしたら「学び為さることは発生しない」ということは正しい fact7: 「学び為さることは発生しない」ということは偽でないとすれば「愛しということが起きるしもにもよLv.42事件が起こる」ということは嘘だ fact8: もし仮にみくみえLv.47事件が起きるとすればもなもにゅLv.90事件が起こる
fact8 & fact4 -> int1: もなもにゅLv.90事件が起こる; int1 -> int2: もなもにゅLv.90事件が起こるかあるいは幼しということが起こるかもしくは両方である; int2 & fact6 -> int3: 学び為さることは起こらない; int3 & fact7 -> int4: 「愛しということが生じるしもにもよLv.42事件が生じる」ということは成り立たない; int4 & fact3 -> hypothesis;
fact8 & fact4 -> int1: {B}; int1 -> int2: ({B} v {C}); int2 & fact6 -> int3: ¬{D}; int3 & fact7 -> int4: ¬({E} & {F}); int4 & fact3 -> hypothesis;
生き難いということが発生する
$facts$ = fact1: 「学び為さることは起こらない」ということは幼しということに引き起こされる fact2: もしも愛しということは発生しないとすれば「幼しということは発生しなくて学び為さることが起こる」ということは間違いである fact3: もし仮に「愛しということおよびもにもよLv.42事件が生じる」ということは偽ならば引き替えることは起こらない fact4: みくみえLv.47事件が起こる fact5: もにもよLv.42事件は発生しないということは「引き替えることは発生しない」ということのきっかけとなる fact6: もし仮にもなもにゅLv.90事件が起きるかまたは幼しということが生じるとしたら「学び為さることは発生しない」ということは正しい fact7: 「学び為さることは発生しない」ということは偽でないとすれば「愛しということが起きるしもにもよLv.42事件が起こる」ということは嘘だ fact8: もし仮にみくみえLv.47事件が起きるとすればもなもにゅLv.90事件が起こる ; $hypothesis$ = 引き替えることは生じない ; $proof$ = 
fact8 & fact4 -> int1: もなもにゅLv.90事件が起こる; int1 -> int2: もなもにゅLv.90事件が起こるかあるいは幼しということが起こるかもしくは両方である; int2 & fact6 -> int3: 学び為さることは起こらない; int3 & fact7 -> int4: 「愛しということが生じるしもにもよLv.42事件が生じる」ということは成り立たない; int4 & fact3 -> hypothesis; __PROVED__
fact8 & fact4 -> int1: {B}; int1 -> int2: ({B} v {C}); int2 & fact6 -> int3: ¬{D}; int3 & fact7 -> int4: ¬({E} & {F}); int4 & fact3 -> hypothesis; __PROVED__