その岩塊は仲裁しないし欲深くない
fact1: 仮に「その熱気物は痩せ細る」ということは嘘だとしたら心療であるということはない fact2: もしあの薄茶色は経産牛でないとすれば「その岩塊は水臭くないけれどグレイハウンド・バスである」ということは成り立たない fact3: 仮に何らかのものは経産牛でないとするとドイツ生まれであるということはない fact4: もしも「なにかは水臭いということはないけどグレイハウンド・バスだ」ということは間違っていれば程無い fact5: 「その岩塊は仲裁する一方で欲深くない」ということは事実と異なる fact6: もし仮にその阿婆擦れは悪戯っぽいとしたら「あの薄茶色は合衆国海軍だ」ということは本当だ fact7: 「その阿婆擦れはグレイハウンド・バスでないしさらにドイツ生まれであるということはない」ということは成り立たない fact8: もしもその熱気物は心療でないならば「それは倒れ難くて当該準備金だ」ということは間違いでない fact9: あの薄茶色は合衆国海軍だということはない fact10: 仮にとあるものは小像だとすると「それはドイツ生まれでないかもしくは音響スペクトルだ」ということは誤りである fact11: その三十一Ａはえぐい fact12: 「その岩塊は仲裁しない」ということは間違いでない fact13: 仮にその岩塊が仲裁しないし欲深くないならあの薄茶色は水臭い fact14: もし「グレイハウンド・バスな」ものがあるならその阿婆擦れは経産牛でない fact15: その阿婆擦れは仲裁する fact16: その熱気物は痩せ細らない fact17: もしも「なにがしかの物はドイツ生まれでないかあるいはそれは音響スペクトルであるかあるいは両方である」ということは成り立たないとすると経産牛でない fact18: もしもあの薄茶色が水臭いとしたらグレイハウンド・バスだ fact19: もしあの薄茶色が合衆国海軍でないならその岩塊はドイツ生まれでないけれど経産牛である fact20: その熱気物は音響スペクトルである fact21: 合衆国海軍は小像だ fact22: もしその阿婆擦れが悪戯っぽいとしたらそれは小像だけど音響スペクトルでない fact23: その熱気物はドイツ生まれで加えて音響スペクトルだ fact24: 「その岩塊は仲裁するけれど欲深くない」ということは本当ならばあの薄茶色は水臭い fact25: もしもその熱気物がドイツ生まれだとしたらその阿婆擦れはドイツ生まれである fact26: もしもその岩塊がドイツ生まれであるということはないけれど経産牛だとしたら水臭いということはない
void -> assump1: 以下のように仮定する。「その岩塊は仲裁しないし欲深いということはない」ということは真実だ; fact13 & assump1 -> int1: あの薄茶色は水臭い; int1 & fact18 -> int2: あの薄茶色はグレイハウンド・バスである; int2 -> int3: 「ある物はグレイハウンド・バスだ」ということは正しい; int3 & fact14 -> int4: その阿婆擦れは経産牛でない; fact3 -> int5: 仮にその阿婆擦れは経産牛でないならそれはドイツ生まれでない; int4 & int5 -> int6: その阿婆擦れはドイツ生まれでない; fact23 -> int7: その熱気物はドイツ生まれである; int7 & fact25 -> int8: その阿婆擦れはドイツ生まれだ; int6 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis;
「程無い」物はある
fact29 -> int10: 仮に「その岩塊は水臭くないがしかしグレイハウンド・バスだ」ということは成り立たないとしたら程無い; fact30 -> int11: 仮に「あの薄茶色はドイツ生まれでないかまたは音響スペクトルである」ということは成り立つということはないとしたらそれは経産牛でない; fact27 -> int12: あの薄茶色は小像であるとすると「それはドイツ生まれでないかそれは音響スペクトルであるか両方ともである」ということは間違っている; fact31 -> int13: あの薄茶色は合衆国海軍であるならば「小像だ」ということは成り立つ; fact32 & fact33 -> int14: その熱気物は心療だということはない; fact28 & int14 -> int15: その熱気物は倒れ難いしかつ当該準備金である; int15 -> int16: その熱気物は倒れ難い; int16 -> int17: 「倒れ難い」ものはある;
$facts$ = fact1: 仮に「その熱気物は痩せ細る」ということは嘘だとしたら心療であるということはない fact2: もしあの薄茶色は経産牛でないとすれば「その岩塊は水臭くないけれどグレイハウンド・バスである」ということは成り立たない fact3: 仮に何らかのものは経産牛でないとするとドイツ生まれであるということはない fact4: もしも「なにかは水臭いということはないけどグレイハウンド・バスだ」ということは間違っていれば程無い fact5: 「その岩塊は仲裁する一方で欲深くない」ということは事実と異なる fact6: もし仮にその阿婆擦れは悪戯っぽいとしたら「あの薄茶色は合衆国海軍だ」ということは本当だ fact7: 「その阿婆擦れはグレイハウンド・バスでないしさらにドイツ生まれであるということはない」ということは成り立たない fact8: もしもその熱気物は心療でないならば「それは倒れ難くて当該準備金だ」ということは間違いでない fact9: あの薄茶色は合衆国海軍だということはない fact10: 仮にとあるものは小像だとすると「それはドイツ生まれでないかもしくは音響スペクトルだ」ということは誤りである fact11: その三十一Ａはえぐい fact12: 「その岩塊は仲裁しない」ということは間違いでない fact13: 仮にその岩塊が仲裁しないし欲深くないならあの薄茶色は水臭い fact14: もし「グレイハウンド・バスな」ものがあるならその阿婆擦れは経産牛でない fact15: その阿婆擦れは仲裁する fact16: その熱気物は痩せ細らない fact17: もしも「なにがしかの物はドイツ生まれでないかあるいはそれは音響スペクトルであるかあるいは両方である」ということは成り立たないとすると経産牛でない fact18: もしもあの薄茶色が水臭いとしたらグレイハウンド・バスだ fact19: もしあの薄茶色が合衆国海軍でないならその岩塊はドイツ生まれでないけれど経産牛である fact20: その熱気物は音響スペクトルである fact21: 合衆国海軍は小像だ fact22: もしその阿婆擦れが悪戯っぽいとしたらそれは小像だけど音響スペクトルでない fact23: その熱気物はドイツ生まれで加えて音響スペクトルだ fact24: 「その岩塊は仲裁するけれど欲深くない」ということは本当ならばあの薄茶色は水臭い fact25: もしもその熱気物がドイツ生まれだとしたらその阿婆擦れはドイツ生まれである fact26: もしもその岩塊がドイツ生まれであるということはないけれど経産牛だとしたら水臭いということはない ; $hypothesis$ = その岩塊は仲裁しないし欲深くない ; $proof$ = 
void -> assump1: 以下のように仮定する。「その岩塊は仲裁しないし欲深いということはない」ということは真実だ; fact13 & assump1 -> int1: あの薄茶色は水臭い; int1 & fact18 -> int2: あの薄茶色はグレイハウンド・バスである; int2 -> int3: 「ある物はグレイハウンド・バスだ」ということは正しい; int3 & fact14 -> int4: その阿婆擦れは経産牛でない; fact3 -> int5: 仮にその阿婆擦れは経産牛でないならそれはドイツ生まれでない; int4 & int5 -> int6: その阿婆擦れはドイツ生まれでない; fact23 -> int7: その熱気物はドイツ生まれである; int7 & fact25 -> int8: その阿婆擦れはドイツ生まれだ; int6 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis; __DISPROVED__
事実1: 仮に「その熱気物は痩せ細る」ということは嘘だとしたら心療であるということはない
事実2: もしあの薄茶色は経産牛でないとすれば「その岩塊は水臭くないけれどグレイハウンド・バスである」ということは成り立たない
事実3: 仮に何らかのものは経産牛でないとするとドイツ生まれであるということはない
事実4: もしも「なにかは水臭いということはないけどグレイハウンド・バスだ」ということは間違っていれば程無い
事実5: 「その岩塊は仲裁する一方で欲深くない」ということは事実と異なる
事実6: もし仮にその阿婆擦れは悪戯っぽいとしたら「あの薄茶色は合衆国海軍だ」ということは本当だ
事実7: 「その阿婆擦れはグレイハウンド・バスでないしさらにドイツ生まれであるということはない」ということは成り立たない
事実8: もしもその熱気物は心療でないならば「それは倒れ難くて当該準備金だ」ということは間違いでない
事実9: あの薄茶色は合衆国海軍だということはない
事実10: 仮にとあるものは小像だとすると「それはドイツ生まれでないかもしくは音響スペクトルだ」ということは誤りである
事実11: その三十一Ａはえぐい
事実12: 「その岩塊は仲裁しない」ということは間違いでない
事実13: 仮にその岩塊が仲裁しないし欲深くないならあの薄茶色は水臭い
事実14: もし「グレイハウンド・バスな」ものがあるならその阿婆擦れは経産牛でない
事実15: その阿婆擦れは仲裁する
事実16: その熱気物は痩せ細らない
事実17: もしも「なにがしかの物はドイツ生まれでないかあるいはそれは音響スペクトルであるかあるいは両方である」ということは成り立たないとすると経産牛でない
事実18: もしもあの薄茶色が水臭いとしたらグレイハウンド・バスだ
事実19: もしあの薄茶色が合衆国海軍でないならその岩塊はドイツ生まれでないけれど経産牛である
事実20: その熱気物は音響スペクトルである
事実21: 合衆国海軍は小像だ
事実22: もしその阿婆擦れが悪戯っぽいとしたらそれは小像だけど音響スペクトルでない
事実23: その熱気物はドイツ生まれで加えて音響スペクトルだ
事実24: 「その岩塊は仲裁するけれど欲深くない」ということは本当ならばあの薄茶色は水臭い
事実25: もしもその熱気物がドイツ生まれだとしたらその阿婆擦れはドイツ生まれである
事実26: もしもその岩塊がドイツ生まれであるということはないけれど経産牛だとしたら水臭いということはない

仮説: その岩塊は仲裁しないし欲深くない
1. 仮定1: 以下のように仮定する。「その岩塊は仲裁しないし欲深いということはない」ということは真実だ
2. 事実13と仮定1から、推論1: "あの薄茶色は水臭い"が導かれる
3. 推論1と事実18から、推論2: "あの薄茶色はグレイハウンド・バスである"が導かれる
4. 推論2から、推論3: "「ある物はグレイハウンド・バスだ」ということは正しい"が導かれる
5. 推論3と事実14から、推論4: "その阿婆擦れは経産牛でない"が導かれる
6. 事実3から、推論5: "仮にその阿婆擦れは経産牛でないならそれはドイツ生まれでない"が導かれる
7. 推論4と推論5から、推論6: "その阿婆擦れはドイツ生まれでない"が導かれる
8. 事実23から、推論7: "その熱気物はドイツ生まれである"が導かれる
9. 推論7と事実25から、推論8: "その阿婆擦れはドイツ生まれだ"が導かれる
10. 推論6と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、仮説が否定される

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