齎し易いということおよびぴにょぴにゃLv.3事件が起こる
fact1: ぴにょぴにゃLv.3事件が生じる fact2: もし仮にもわもいLv.34事件は発生しないとすれば「齎し易いということおよびぴにょぴにゃLv.3事件が生じる」ということは事実と異なる fact3: 「もわもいLv.34事件は発生するけどまちゃまやLv.3事件は起こらない」ということは誤りならばもわもいLv.34事件は生じない fact4: 齎し易いということが発生する fact5: もし仮に「絶え難いということは生じない」ということは成り立つとしたら「みにみわLv.28事件が起こるしもわもいLv.34事件が起きる」ということは成り立つということはない fact6: 仮に「みにみわLv.28事件ともわもいLv.34事件が発生する」ということは誤りであるならばもわもいLv.34事件は発生しない fact7: 「もわもいLv.34事件は生じない」ということは「ひ弱いということが起こるしそれにぴにょぴにゃLv.3事件が生じる」ということの原因となる
fact4 -> int1: 齎し易いということが発生する; int1 & fact1 -> hypothesis;
fact4 -> int1: {A}; int1 & fact1 -> hypothesis;
「齎し易いということが起きるしぴにょぴにゃLv.3事件が生じる」ということは成り立たない
$facts$ = fact1: ぴにょぴにゃLv.3事件が生じる fact2: もし仮にもわもいLv.34事件は発生しないとすれば「齎し易いということおよびぴにょぴにゃLv.3事件が生じる」ということは事実と異なる fact3: 「もわもいLv.34事件は発生するけどまちゃまやLv.3事件は起こらない」ということは誤りならばもわもいLv.34事件は生じない fact4: 齎し易いということが発生する fact5: もし仮に「絶え難いということは生じない」ということは成り立つとしたら「みにみわLv.28事件が起こるしもわもいLv.34事件が起きる」ということは成り立つということはない fact6: 仮に「みにみわLv.28事件ともわもいLv.34事件が発生する」ということは誤りであるならばもわもいLv.34事件は発生しない fact7: 「もわもいLv.34事件は生じない」ということは「ひ弱いということが起こるしそれにぴにょぴにゃLv.3事件が生じる」ということの原因となる ; $hypothesis$ = 齎し易いということおよびぴにょぴにゃLv.3事件が起こる ; $proof$ = 
fact4 -> int1: 齎し易いということが発生する; int1 & fact1 -> hypothesis; __PROVED__
fact4 -> int1: {A}; int1 & fact1 -> hypothesis; __PROVED__