「歩き難いということかまたはぴいぴわLv.31事件が発生する」ということは本当である
fact1: もし仮に「青白いということか香ばしいということかもしくはどちらもが発生する」ということは成り立たないなら吸収され難いということは生じない fact2: 仮に世知辛いということは発生しないならば「歩き難いということが起きるかあるいはぴいぴわLv.31事件が生じるかもしくは両方である」ということは成り立たない fact3: 仮にぷにゅぷのLv.94事件は起きないとするとぽのぽくLv.21事件が起きるがしかし世知辛いということは発生しない fact4: 熱苦しいということが起こる fact5: 「ぷにゅぷのLv.94事件ではなくて茶色いということが起こる」ということは吸収され難いということは生じないということに由来する fact6: ぴいぴわLv.31事件が起こる
fact6 -> int1: ぴいぴわLv.31事件が起こる; int1 -> hypothesis;
fact6 -> int1: {A}; int1 -> hypothesis;
「歩き難いということかあるいはぴいぴわLv.31事件かあるいは両方が発生する」ということは事実でない
$facts$ = fact1: もし仮に「青白いということか香ばしいということかもしくはどちらもが発生する」ということは成り立たないなら吸収され難いということは生じない fact2: 仮に世知辛いということは発生しないならば「歩き難いということが起きるかあるいはぴいぴわLv.31事件が生じるかもしくは両方である」ということは成り立たない fact3: 仮にぷにゅぷのLv.94事件は起きないとするとぽのぽくLv.21事件が起きるがしかし世知辛いということは発生しない fact4: 熱苦しいということが起こる fact5: 「ぷにゅぷのLv.94事件ではなくて茶色いということが起こる」ということは吸収され難いということは生じないということに由来する fact6: ぴいぴわLv.31事件が起こる ; $hypothesis$ = 「歩き難いということかまたはぴいぴわLv.31事件が発生する」ということは本当である ; $proof$ = 
fact6 -> int1: ぴいぴわLv.31事件が起こる; int1 -> hypothesis; __PROVED__
fact6 -> int1: {A}; int1 -> hypothesis; __PROVED__