「「もし「本坊でなくておまけに銃殺隊だということはない」ということは成り立たないとすると「モデル全体でない」ということは事実である」ものはある」ということは間違っている
fact1: 仮に「その霧箱は本坊でなくてかつ銃殺隊だということはない」ということは間違いであるならモデル全体でない fact2: もし仮に「あるものは余所余所しかなくて捨て難くない」ということは成り立たないとするとそれは用立てない fact3: その霧箱は明快さであるとしたらそれは銃殺隊でない fact4: もし仮に「その霧箱はライトバンであるということはないしまた果てし無いということはない」ということは事実と異なるとしたら弾く fact5: もし「この美田は銃殺隊でなくてそれに二週間以内であるということはない」ということは偽であるならばそれはＷＭＳでない
fact1 -> hypothesis;
fact1 -> hypothesis;
「「もし仮に「余所余所しかなくて捨て難くない」ということは成り立たないとしたら用立てない」物はある」ということは事実だ
fact6 -> int1: もし「あの第二ステップは余所余所しかなくてまたそれは捨て難いということはない」ということは成り立たないなら「用立てるということはない」ということは成り立つ; int1 -> hypothesis;
$facts$ = fact1: 仮に「その霧箱は本坊でなくてかつ銃殺隊だということはない」ということは間違いであるならモデル全体でない fact2: もし仮に「あるものは余所余所しかなくて捨て難くない」ということは成り立たないとするとそれは用立てない fact3: その霧箱は明快さであるとしたらそれは銃殺隊でない fact4: もし仮に「その霧箱はライトバンであるということはないしまた果てし無いということはない」ということは事実と異なるとしたら弾く fact5: もし「この美田は銃殺隊でなくてそれに二週間以内であるということはない」ということは偽であるならばそれはＷＭＳでない ; $hypothesis$ = 「「もし「本坊でなくておまけに銃殺隊だということはない」ということは成り立たないとすると「モデル全体でない」ということは事実である」ものはある」ということは間違っている ; $proof$ = 
fact1 -> hypothesis; __DISPROVED__
事実1: 仮に「その霧箱は本坊でなくてかつ銃殺隊だということはない」ということは間違いであるならモデル全体でない
事実2: もし仮に「あるものは余所余所しかなくて捨て難くない」ということは成り立たないとするとそれは用立てない
事実3: その霧箱は明快さであるとしたらそれは銃殺隊でない
事実4: もし仮に「その霧箱はライトバンであるということはないしまた果てし無いということはない」ということは事実と異なるとしたら弾く
事実5: もし「この美田は銃殺隊でなくてそれに二週間以内であるということはない」ということは偽であるならばそれはＷＭＳでない

仮説: 「「もし「本坊でなくておまけに銃殺隊だということはない」ということは成り立たないとすると「モデル全体でない」ということは事実である」ものはある」ということは間違っている
1. 事実1から、仮説が否定される

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