「「もし席捲しないとしたら大入り満員な」物はある」ということは間違っている
fact1: もしもとある物は本遺跡でないとしたらそれは苦し fact2: もし仮になんらかの物が可愛がらないとすればそれは百首歌だ fact3: もし仮に「ある物は包囲攻撃する」ということは正しいならば「残り易い」ということは間違いでない fact4: 「もし仮に取り始めるとすれば書き進める」物はある fact5: もし仮に何らかのものが席捲するということはないならそれは大入り満員だ fact6: 仮に「あのモナリザは裳着でない」ということは正しいなら「それは席捲する」ということは真実である fact7: 仮にあのモナリザが席捲するとすると大入り満員だ fact8: もしもなんらかのものが組み合わすということはないならそれは怖ーい
fact5 -> int1: もしもあのモナリザが席捲しないとするとそれは大入り満員だ; int1 -> hypothesis;
「もし仮に「本遺跡であるということはない」ということは確かであるとすると苦し」ものはある
fact9 -> int2: もしもあの国際電話は本遺跡でないならば苦し; int2 -> hypothesis;
$facts$ = fact1: もしもとある物は本遺跡でないとしたらそれは苦し fact2: もし仮になんらかの物が可愛がらないとすればそれは百首歌だ fact3: もし仮に「ある物は包囲攻撃する」ということは正しいならば「残り易い」ということは間違いでない fact4: 「もし仮に取り始めるとすれば書き進める」物はある fact5: もし仮に何らかのものが席捲するということはないならそれは大入り満員だ fact6: 仮に「あのモナリザは裳着でない」ということは正しいなら「それは席捲する」ということは真実である fact7: 仮にあのモナリザが席捲するとすると大入り満員だ fact8: もしもなんらかのものが組み合わすということはないならそれは怖ーい ; $hypothesis$ = 「「もし席捲しないとしたら大入り満員な」物はある」ということは間違っている ; $proof$ = 
fact5 -> int1: もしもあのモナリザが席捲しないとするとそれは大入り満員だ; int1 -> hypothesis; __DISPROVED__
事実1: もしもとある物は本遺跡でないとしたらそれは苦し
事実2: もし仮になんらかの物が可愛がらないとすればそれは百首歌だ
事実3: もし仮に「ある物は包囲攻撃する」ということは正しいならば「残り易い」ということは間違いでない
事実4: 「もし仮に取り始めるとすれば書き進める」物はある
事実5: もし仮に何らかのものが席捲するということはないならそれは大入り満員だ
事実6: 仮に「あのモナリザは裳着でない」ということは正しいなら「それは席捲する」ということは真実である
事実7: 仮にあのモナリザが席捲するとすると大入り満員だ
事実8: もしもなんらかのものが組み合わすということはないならそれは怖ーい

仮説: 「「もし席捲しないとしたら大入り満員な」物はある」ということは間違っている
1. 事実5から、推論1: "もしもあのモナリザが席捲しないとするとそれは大入り満員だ"が導かれる
2. 推論1から、仮説が否定される

よって、仮説が否定されました。