「「仮にエコノミークラスであるということはないとすれば出力時でないか生産し続けないかもしくは両方ともな」ものはある」ということは事実と異なる
fact1: 仮にその拠点作りがエコノミークラスでないならばそれは出力時であるかまたは生産し続けない fact2: 「もし出血し易いということはないならボタン以外であるかまたは過大評価し過ぎないかどちらもな」ものはある fact3: もしもその拠点作りがエコノミークラスであるならそれは出力時だということはないかもしくはそれは生産し続けるということはないかあるいは両方ともである fact4: 罪深くないものは軽ーくないかあるいは揺すり立てるか両方ともだ fact5: もし仮にその拠点作りがエコノミークラスだということはないとしたらそれは出力時でないかもしくは生産し続ける fact6: もし仮になにかはエコノミークラスでないなら出力時であるかあるいは生産し続けない fact7: 「もしでかくないとすれば愛好しないかあるいは集め易いか両方な」物はある fact8: もしもこのＢさん自身が罹り易いとするとエコノミークラスでないかあるいはそれは墨守するということはない fact9: もし仮にその拠点作りが泣くとするとそれは腸内容物でないかそれはエコノミークラスでない fact10: 天幕はＧＴＳ‐Ｒでないか労労じないか両方である fact11: 「もし同調出来ないとすると天幕でないかまたは泣くかあるいはどちらもである」物はある fact12: 「もしエコノミークラスであるとしたら出力時でないかあるいは生産し続けないかあるいは両方ともな」物はある fact13: もしもある物がミクロ理論でないとしたらそれは無声化し易くないかまたはそれは集め易くないかあるいは両方ともだ fact14: なにかはエコノミークラスでないならそれは出力時であるということはないか生産し続けないかまたは両方ともである fact15: もしもなにがしかのものがエコノミークラスでないならばそれは出力時だということはないかあるいは生産し続けるか両方である fact16: もしもその財政均衡は腹式であるならばそれは神仙でないかまたは変更し為さらないかまたは両方だ fact17: 「「エコノミークラスでない」ということは本当であるとしたら出力時だということはないかもしくは生産し続ける」物はある fact18: もしもその拠点作りが取り止めるとしたら御構い無くないかもしくはそれは出力時だということはないか両方である fact19: 「エコノミークラスは出力時でないかあるいは生産し続けないかもしくはどちらもである」ということは真実である
fact14 -> int1: 仮にその拠点作りがエコノミークラスでないとすればそれは出力時でないかまたはそれは生産し続けないかあるいは両方ともである; int1 -> hypothesis;
fact14 -> int1: ¬{A}{aa} -> (¬{AA}{aa} v ¬{AB}{aa}); int1 -> hypothesis;
$facts$ = fact1: 仮にその拠点作りがエコノミークラスでないならばそれは出力時であるかまたは生産し続けない fact2: 「もし出血し易いということはないならボタン以外であるかまたは過大評価し過ぎないかどちらもな」ものはある fact3: もしもその拠点作りがエコノミークラスであるならそれは出力時だということはないかもしくはそれは生産し続けるということはないかあるいは両方ともである fact4: 罪深くないものは軽ーくないかあるいは揺すり立てるか両方ともだ fact5: もし仮にその拠点作りがエコノミークラスだということはないとしたらそれは出力時でないかもしくは生産し続ける fact6: もし仮になにかはエコノミークラスでないなら出力時であるかあるいは生産し続けない fact7: 「もしでかくないとすれば愛好しないかあるいは集め易いか両方な」物はある fact8: もしもこのＢさん自身が罹り易いとするとエコノミークラスでないかあるいはそれは墨守するということはない fact9: もし仮にその拠点作りが泣くとするとそれは腸内容物でないかそれはエコノミークラスでない fact10: 天幕はＧＴＳ‐Ｒでないか労労じないか両方である fact11: 「もし同調出来ないとすると天幕でないかまたは泣くかあるいはどちらもである」物はある fact12: 「もしエコノミークラスであるとしたら出力時でないかあるいは生産し続けないかあるいは両方ともな」物はある fact13: もしもある物がミクロ理論でないとしたらそれは無声化し易くないかまたはそれは集め易くないかあるいは両方ともだ fact14: なにかはエコノミークラスでないならそれは出力時であるということはないか生産し続けないかまたは両方ともである fact15: もしもなにがしかのものがエコノミークラスでないならばそれは出力時だということはないかあるいは生産し続けるか両方である fact16: もしもその財政均衡は腹式であるならばそれは神仙でないかまたは変更し為さらないかまたは両方だ fact17: 「「エコノミークラスでない」ということは本当であるとしたら出力時だということはないかもしくは生産し続ける」物はある fact18: もしもその拠点作りが取り止めるとしたら御構い無くないかもしくはそれは出力時だということはないか両方である fact19: 「エコノミークラスは出力時でないかあるいは生産し続けないかもしくはどちらもである」ということは真実である ; $hypothesis$ = 「「仮にエコノミークラスであるということはないとすれば出力時でないか生産し続けないかもしくは両方ともな」ものはある」ということは事実と異なる ; $proof$ = 
fact14 -> int1: 仮にその拠点作りがエコノミークラスでないとすればそれは出力時でないかまたはそれは生産し続けないかあるいは両方ともである; int1 -> hypothesis; __DISPROVED__
事実1: 仮にその拠点作りがエコノミークラスでないならばそれは出力時であるかまたは生産し続けない
事実2: 「もし出血し易いということはないならボタン以外であるかまたは過大評価し過ぎないかどちらもな」ものはある
事実3: もしもその拠点作りがエコノミークラスであるならそれは出力時だということはないかもしくはそれは生産し続けるということはないかあるいは両方ともである
事実4: 罪深くないものは軽ーくないかあるいは揺すり立てるか両方ともだ
事実5: もし仮にその拠点作りがエコノミークラスだということはないとしたらそれは出力時でないかもしくは生産し続ける
事実6: もし仮になにかはエコノミークラスでないなら出力時であるかあるいは生産し続けない
事実7: 「もしでかくないとすれば愛好しないかあるいは集め易いか両方な」物はある
事実8: もしもこのＢさん自身が罹り易いとするとエコノミークラスでないかあるいはそれは墨守するということはない
事実9: もし仮にその拠点作りが泣くとするとそれは腸内容物でないかそれはエコノミークラスでない
事実10: 天幕はＧＴＳ‐Ｒでないか労労じないか両方である
事実11: 「もし同調出来ないとすると天幕でないかまたは泣くかあるいはどちらもである」物はある
事実12: 「もしエコノミークラスであるとしたら出力時でないかあるいは生産し続けないかあるいは両方ともな」物はある
事実13: もしもある物がミクロ理論でないとしたらそれは無声化し易くないかまたはそれは集め易くないかあるいは両方ともだ
事実14: なにかはエコノミークラスでないならそれは出力時であるということはないか生産し続けないかまたは両方ともである
事実15: もしもなにがしかのものがエコノミークラスでないならばそれは出力時だということはないかあるいは生産し続けるか両方である
事実16: もしもその財政均衡は腹式であるならばそれは神仙でないかまたは変更し為さらないかまたは両方だ
事実17: 「「エコノミークラスでない」ということは本当であるとしたら出力時だということはないかもしくは生産し続ける」物はある
事実18: もしもその拠点作りが取り止めるとしたら御構い無くないかもしくはそれは出力時だということはないか両方である
事実19: 「エコノミークラスは出力時でないかあるいは生産し続けないかもしくはどちらもである」ということは真実である

仮説: 「「仮にエコノミークラスであるということはないとすれば出力時でないか生産し続けないかもしくは両方ともな」ものはある」ということは事実と異なる
1. 事実14から、推論1: "仮にその拠点作りがエコノミークラスでないとすればそれは出力時でないかまたはそれは生産し続けないかあるいは両方ともである"が導かれる
2. 推論1から、仮説が否定される

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