起き難いということが生じる
fact1: 仮に「人間っぽいということとぴにょぴねLv.73事件どちらもが生じる」ということは成り立つということはないならば人間っぽいということは生じない fact2: 仮に「因り難いということが生じるけどもえもにLv.15事件は発生しない」ということは成り立たないとすると因り難いということは起こらない fact3: もし人間っぽいということは生じないなら「因り難いということは発生するしもえもにLv.15事件は生じない」ということは誤りである fact4: 因り難いということが生じるということは起き難いということは発生しないということを回避する fact5: まやまちゅLv.73事件が発生する fact6: ぽちゃぽにLv.8事件が生じる fact7: 「因り難いということは生じない」ということはぽちゃぽにLv.8事件に防がれる
fact7 & fact6 -> int1: 因り難いということが生じる; int1 & fact4 -> hypothesis;
fact7 & fact6 -> int1: {B}; int1 & fact4 -> hypothesis;
起き難いということは発生しない
$facts$ = fact1: 仮に「人間っぽいということとぴにょぴねLv.73事件どちらもが生じる」ということは成り立つということはないならば人間っぽいということは生じない fact2: 仮に「因り難いということが生じるけどもえもにLv.15事件は発生しない」ということは成り立たないとすると因り難いということは起こらない fact3: もし人間っぽいということは生じないなら「因り難いということは発生するしもえもにLv.15事件は生じない」ということは誤りである fact4: 因り難いということが生じるということは起き難いということは発生しないということを回避する fact5: まやまちゅLv.73事件が発生する fact6: ぽちゃぽにLv.8事件が生じる fact7: 「因り難いということは生じない」ということはぽちゃぽにLv.8事件に防がれる ; $hypothesis$ = 起き難いということが生じる ; $proof$ = 
fact7 & fact6 -> int1: 因り難いということが生じる; int1 & fact4 -> hypothesis; __PROVED__
fact7 & fact6 -> int1: {B}; int1 & fact4 -> hypothesis; __PROVED__