「あのアラブ諸国は青黒くないとすると「「この回線状態は周辺諸国であるかあるいは天窓でないかまたはどちらもだ」ということは間違っている」ということは成り立つ」ということは偽だ
fact1: もし仮にあのアラブ諸国が膿むとしたらあの縦横は一件落着する fact2: もし「あのアラブ諸国は一件落着するしまた漕ぐ」ということは嘘ならばあのハイパー研究所は漕がない fact3: もし仮に「その文字・表記は周辺諸国だ」ということは事実であるとすると「この回線状態は周辺諸国であるかあるいは天窓でない」ということは間違っている fact4: 「あのアラブ諸国は青黒い」ということは成り立つなら「この回線状態は青黒いか天窓である」ということは嘘である fact5: もし仮にあのアラブ諸国は青黒くないならば「この回線状態は周辺諸国であるか天窓であるかあるいはどちらもだ」ということは偽だ fact6: この回線状態は周辺諸国であるかまたはそれは天窓でないかもしくはどちらもだ fact7: もし「あのアラブ諸国は漕がない」ということは間違いでないとしたらあの縦横は一件落着する fact8: もしもあの縦横が一件落着すればその文字・表記は周辺諸国である fact9: 仮に何かはアッシュでないとしたらそれは膿むかもしくはそれは漕がないかまたは両方だ fact10: 「この回線状態は周辺諸国であるかまたはそれは天窓であるかまたはどちらもだ」ということは真実でない fact11: もしもあのアラブ諸国は青黒くないなら「「それは飲み易くてビデオ録画する」ということは本当である」ということは事実と異なる fact12: もしこのハイパー研究所が漕がないとすればアッシュであるかあるいは青黒いかもしくは両方である fact13: もしもあるものが漕がないとすれば天窓でない fact14: もし何らかの物は膿まないとすれば「一件落着するしかつ漕ぐ」ということは偽だ fact15: 「この回線状態は膿まない」ということは確かである fact16: もし仮に「とあるものは飲み易いしそれにビデオ録画する」ということは事実と異なるとすればそれはアッシュでない
void -> assump1: 以下のように仮定する。あのアラブ諸国は青黒くない; fact11 & assump1 -> int1: 「あのアラブ諸国は飲み易いしかつビデオ録画する」ということは事実と異なる; fact16 -> int2: 「「あのアラブ諸国は飲み易いしそれはビデオ録画する」ということは成り立つ」ということは事実と異なればアッシュだということはない; int1 & int2 -> int3: あのアラブ諸国はアッシュだということはない; fact9 -> int4: もしあのアラブ諸国はアッシュでないとしたら膿むかあるいは漕がない; int3 & int4 -> int5: あのアラブ諸国は膿むかもしくは漕ぐということはないかあるいはどちらもだ; int5 & fact1 & fact7 -> int6: あの縦横は一件落着する; int6 & fact8 -> int7: その文字・表記は周辺諸国である; int7 & fact3 -> int8: 「この回線状態は周辺諸国であるかあるいはそれは天窓でないかまたは両方である」ということは間違っている; [assump1] & int8 -> hypothesis;
このハイパー研究所は飲み易い
fact18 -> int9: もし仮にあのアラブ諸国は膿むということはないとしたら「それは一件落着するしまた漕ぐ」ということは成り立たない;
$facts$ = fact1: もし仮にあのアラブ諸国が膿むとしたらあの縦横は一件落着する fact2: もし「あのアラブ諸国は一件落着するしまた漕ぐ」ということは嘘ならばあのハイパー研究所は漕がない fact3: もし仮に「その文字・表記は周辺諸国だ」ということは事実であるとすると「この回線状態は周辺諸国であるかあるいは天窓でない」ということは間違っている fact4: 「あのアラブ諸国は青黒い」ということは成り立つなら「この回線状態は青黒いか天窓である」ということは嘘である fact5: もし仮にあのアラブ諸国は青黒くないならば「この回線状態は周辺諸国であるか天窓であるかあるいはどちらもだ」ということは偽だ fact6: この回線状態は周辺諸国であるかまたはそれは天窓でないかもしくはどちらもだ fact7: もし「あのアラブ諸国は漕がない」ということは間違いでないとしたらあの縦横は一件落着する fact8: もしもあの縦横が一件落着すればその文字・表記は周辺諸国である fact9: 仮に何かはアッシュでないとしたらそれは膿むかもしくはそれは漕がないかまたは両方だ fact10: 「この回線状態は周辺諸国であるかまたはそれは天窓であるかまたはどちらもだ」ということは真実でない fact11: もしもあのアラブ諸国は青黒くないなら「「それは飲み易くてビデオ録画する」ということは本当である」ということは事実と異なる fact12: もしこのハイパー研究所が漕がないとすればアッシュであるかあるいは青黒いかもしくは両方である fact13: もしもあるものが漕がないとすれば天窓でない fact14: もし何らかの物は膿まないとすれば「一件落着するしかつ漕ぐ」ということは偽だ fact15: 「この回線状態は膿まない」ということは確かである fact16: もし仮に「とあるものは飲み易いしそれにビデオ録画する」ということは事実と異なるとすればそれはアッシュでない ; $hypothesis$ = 「あのアラブ諸国は青黒くないとすると「「この回線状態は周辺諸国であるかあるいは天窓でないかまたはどちらもだ」ということは間違っている」ということは成り立つ」ということは偽だ ; $proof$ = 
void -> assump1: 以下のように仮定する。あのアラブ諸国は青黒くない; fact11 & assump1 -> int1: 「あのアラブ諸国は飲み易いしかつビデオ録画する」ということは事実と異なる; fact16 -> int2: 「「あのアラブ諸国は飲み易いしそれはビデオ録画する」ということは成り立つ」ということは事実と異なればアッシュだということはない; int1 & int2 -> int3: あのアラブ諸国はアッシュだということはない; fact9 -> int4: もしあのアラブ諸国はアッシュでないとしたら膿むかあるいは漕がない; int3 & int4 -> int5: あのアラブ諸国は膿むかもしくは漕ぐということはないかあるいはどちらもだ; int5 & fact1 & fact7 -> int6: あの縦横は一件落着する; int6 & fact8 -> int7: その文字・表記は周辺諸国である; int7 & fact3 -> int8: 「この回線状態は周辺諸国であるかあるいはそれは天窓でないかまたは両方である」ということは間違っている; [assump1] & int8 -> hypothesis; __DISPROVED__
事実1: もし仮にあのアラブ諸国が膿むとしたらあの縦横は一件落着する
事実2: もし「あのアラブ諸国は一件落着するしまた漕ぐ」ということは嘘ならばあのハイパー研究所は漕がない
事実3: もし仮に「その文字・表記は周辺諸国だ」ということは事実であるとすると「この回線状態は周辺諸国であるかあるいは天窓でない」ということは間違っている
事実4: 「あのアラブ諸国は青黒い」ということは成り立つなら「この回線状態は青黒いか天窓である」ということは嘘である
事実5: もし仮にあのアラブ諸国は青黒くないならば「この回線状態は周辺諸国であるか天窓であるかあるいはどちらもだ」ということは偽だ
事実6: この回線状態は周辺諸国であるかまたはそれは天窓でないかもしくはどちらもだ
事実7: もし「あのアラブ諸国は漕がない」ということは間違いでないとしたらあの縦横は一件落着する
事実8: もしもあの縦横が一件落着すればその文字・表記は周辺諸国である
事実9: 仮に何かはアッシュでないとしたらそれは膿むかもしくはそれは漕がないかまたは両方だ
事実10: 「この回線状態は周辺諸国であるかまたはそれは天窓であるかまたはどちらもだ」ということは真実でない
事実11: もしもあのアラブ諸国は青黒くないなら「「それは飲み易くてビデオ録画する」ということは本当である」ということは事実と異なる
事実12: もしこのハイパー研究所が漕がないとすればアッシュであるかあるいは青黒いかもしくは両方である
事実13: もしもあるものが漕がないとすれば天窓でない
事実14: もし何らかの物は膿まないとすれば「一件落着するしかつ漕ぐ」ということは偽だ
事実15: 「この回線状態は膿まない」ということは確かである
事実16: もし仮に「とあるものは飲み易いしそれにビデオ録画する」ということは事実と異なるとすればそれはアッシュでない

仮説: 「あのアラブ諸国は青黒くないとすると「「この回線状態は周辺諸国であるかあるいは天窓でないかまたはどちらもだ」ということは間違っている」ということは成り立つ」ということは偽だ
1. 仮定1: 以下のように仮定する。あのアラブ諸国は青黒くない
2. 事実11と仮定1から、推論1: "「あのアラブ諸国は飲み易いしかつビデオ録画する」ということは事実と異なる"が導かれる
3. 事実16から、推論2: "「「あのアラブ諸国は飲み易いしそれはビデオ録画する」ということは成り立つ」ということは事実と異なればアッシュだということはない"が導かれる
4. 推論1と推論2から、推論3: "あのアラブ諸国はアッシュだということはない"が導かれる
5. 事実9から、推論4: "もしあのアラブ諸国はアッシュでないとしたら膿むかあるいは漕がない"が導かれる
6. 推論3と推論4から、推論5: "あのアラブ諸国は膿むかもしくは漕ぐということはないかあるいはどちらもだ"が導かれる
7. 推論5と事実1と事実7から、推論6: "あの縦横は一件落着する"が導かれる
8. 推論6と事実8から、推論7: "その文字・表記は周辺諸国である"が導かれる
9. 推論7と事実3から、推論8: "「この回線状態は周辺諸国であるかあるいはそれは天窓でないかまたは両方である」ということは間違っている"が導かれる
10. [仮定1]と推論8から、仮説が否定される

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