ぽわぽにLv.62事件が起こる
fact1: もし仮に「猛々しいということが起こるけどぽわぽにLv.62事件は生じない」ということは間違いならぽわぽにLv.62事件が発生する fact2: もしも荒いということは生じないとすると「猛々しいということが起きるしぽわぽにLv.62事件は起こらない」ということは成り立たない fact3: 「ぽわぽにLv.62事件は発生しない」ということは「猛々しいということが発生する」ということかもしくは荒いということかもしくはどちらもに起因する fact4: 「ぴやぴにょLv.22事件は発生しないとしたら荒いということは生じない」ということは成り立つ fact5: 荒いということはぽわぽにLv.62事件は生じないということを発生させる fact6: みよみにゅLv.46事件は発生しない fact7: 猛々しいということが生じる
fact7 -> int1: 猛々しいということが生じるかあるいは荒いということが起きるか両方ともだ; int1 & fact3 -> hypothesis;
fact7 -> int1: ({A} v {B}); int1 & fact3 -> hypothesis;
ぽわぽにLv.62事件が起こる
$facts$ = fact1: もし仮に「猛々しいということが起こるけどぽわぽにLv.62事件は生じない」ということは間違いならぽわぽにLv.62事件が発生する fact2: もしも荒いということは生じないとすると「猛々しいということが起きるしぽわぽにLv.62事件は起こらない」ということは成り立たない fact3: 「ぽわぽにLv.62事件は発生しない」ということは「猛々しいということが発生する」ということかもしくは荒いということかもしくはどちらもに起因する fact4: 「ぴやぴにょLv.22事件は発生しないとしたら荒いということは生じない」ということは成り立つ fact5: 荒いということはぽわぽにLv.62事件は生じないということを発生させる fact6: みよみにゅLv.46事件は発生しない fact7: 猛々しいということが生じる ; $hypothesis$ = ぽわぽにLv.62事件が起こる ; $proof$ = 
fact7 -> int1: 猛々しいということが生じるかあるいは荒いということが起きるか両方ともだ; int1 & fact3 -> hypothesis; __DISPROVED__
fact7 -> int1: ({A} v {B}); int1 & fact3 -> hypothesis; __DISPROVED__