集まることが発生する
fact1: 「ぷなぷえLv.54事件ではなくて集まることが起こる」ということは成り立たないなら集まることは起こらない fact2: 集まることは使い辛いということにより発生する fact3: 使い辛いということが生じる fact4: 狙われ易いということが起きる fact5: 仮に「ぽねぽちゃLv.97事件が生じるかみえみわLv.29事件が発生する」ということは確かでないとしたらまのまわLv.18事件は起こらない fact6: もしまのまわLv.18事件は起こらないなら「ぷなぷえLv.54事件は発生しないがしかし集まることが起こる」ということは嘘だ fact7: もしも「集まることが起こるしまた使い辛いということが発生する」ということは確かでないならば集まることは発生しない
fact3 -> int1: 使い辛いということが生じる; int1 & fact2 -> hypothesis;
fact3 -> int1: {A}; int1 & fact2 -> hypothesis;
「毛深いということが起こる」ということは確かだ
$facts$ = fact1: 「ぷなぷえLv.54事件ではなくて集まることが起こる」ということは成り立たないなら集まることは起こらない fact2: 集まることは使い辛いということにより発生する fact3: 使い辛いということが生じる fact4: 狙われ易いということが起きる fact5: 仮に「ぽねぽちゃLv.97事件が生じるかみえみわLv.29事件が発生する」ということは確かでないとしたらまのまわLv.18事件は起こらない fact6: もしまのまわLv.18事件は起こらないなら「ぷなぷえLv.54事件は発生しないがしかし集まることが起こる」ということは嘘だ fact7: もしも「集まることが起こるしまた使い辛いということが発生する」ということは確かでないならば集まることは発生しない ; $hypothesis$ = 集まることが発生する ; $proof$ = 
fact3 -> int1: 使い辛いということが生じる; int1 & fact2 -> hypothesis; __PROVED__
fact3 -> int1: {A}; int1 & fact2 -> hypothesis; __PROVED__