恐れ多いということは起こらない
fact1: もしまえまわLv.27事件は発生しないとすると恐れ多いということが起きる fact2: 「ぴいぴいLv.2事件が起きる」ということはもにもちゅLv.8事件に繋がる fact3: もし仮に感慨深いということが発生すれば「移り易いということではなくて降り止むことが起きる」ということは成り立たない fact4: もしもぷくぷにょLv.63事件が発生するかあるいはもにもちゅLv.8事件が起きるかもしくは両方ともであるとしたらまえまわLv.27事件は発生しない fact5: 御座り下さることが生じるしさらにぴいぴいLv.2事件が生じる fact6: もし仮に「移り易いということは起きないが降り止むことが生じる」ということは嘘であるとしたら温いということは生じない fact7: ものもにょLv.14事件は起きない fact8: 「温いということは発生しない」ということは「まえまわLv.27事件が起こるけどぷくぷにょLv.63事件は発生しない」ということを誘発する fact9: もし仮に「ぴいぴいLv.2事件は起きない」ということは偽でないとしたら恐れ多いということは生じないしおまけに御座り下さることは起きない
fact5 -> int1: ぴいぴいLv.2事件が起こる; int1 & fact2 -> int2: もにもちゅLv.8事件が発生する; int2 -> int3: ぷくぷにょLv.63事件が生じるかもしくはもにもちゅLv.8事件が起こるかもしくは両方ともだ; int3 & fact4 -> int4: まえまわLv.27事件は起こらない; int4 & fact1 -> hypothesis;
fact5 -> int1: {B}; int1 & fact2 -> int2: {C}; int2 -> int3: ({D} v {C}); int3 & fact4 -> int4: ¬{E}; int4 & fact1 -> hypothesis;
恐れ多いということは起こらない
$facts$ = fact1: もしまえまわLv.27事件は発生しないとすると恐れ多いということが起きる fact2: 「ぴいぴいLv.2事件が起きる」ということはもにもちゅLv.8事件に繋がる fact3: もし仮に感慨深いということが発生すれば「移り易いということではなくて降り止むことが起きる」ということは成り立たない fact4: もしもぷくぷにょLv.63事件が発生するかあるいはもにもちゅLv.8事件が起きるかもしくは両方ともであるとしたらまえまわLv.27事件は発生しない fact5: 御座り下さることが生じるしさらにぴいぴいLv.2事件が生じる fact6: もし仮に「移り易いということは起きないが降り止むことが生じる」ということは嘘であるとしたら温いということは生じない fact7: ものもにょLv.14事件は起きない fact8: 「温いということは発生しない」ということは「まえまわLv.27事件が起こるけどぷくぷにょLv.63事件は発生しない」ということを誘発する fact9: もし仮に「ぴいぴいLv.2事件は起きない」ということは偽でないとしたら恐れ多いということは生じないしおまけに御座り下さることは起きない ; $hypothesis$ = 恐れ多いということは起こらない ; $proof$ = 
fact5 -> int1: ぴいぴいLv.2事件が起こる; int1 & fact2 -> int2: もにもちゅLv.8事件が発生する; int2 -> int3: ぷくぷにょLv.63事件が生じるかもしくはもにもちゅLv.8事件が起こるかもしくは両方ともだ; int3 & fact4 -> int4: まえまわLv.27事件は起こらない; int4 & fact1 -> hypothesis; __DISPROVED__
fact5 -> int1: {B}; int1 & fact2 -> int2: {C}; int2 -> int3: ({D} v {C}); int3 & fact4 -> int4: ¬{E}; int4 & fact1 -> hypothesis; __DISPROVED__