その市場相場は止む無い
fact1: 名状し難い物は公差だ fact2: 異国は止む無いとすると「心臓疾患でない」ということは成り立つ fact3: 仮にその市場相場は高次化すれば「心臓疾患であるということはないしノイシュバンシュタイン城でない」ということは事実でない fact4: 仮にこの危険物施設がいみじならその市場相場は異国である fact5: 仮になんらかの物が高次化するとするとこの危険物施設は名状し難いかあるいは心臓疾患である fact6: あのウェブサーバ側が名状し難いとするとこの危険物施設はいみじ fact7: 「その市場相場はノイシュバンシュタイン城でない」ということは成り立つ fact8: 仮に「その市場相場は生ビールでなくておまけにそれは高次化しない」ということは誤っているとするとそれは高次化する fact9: 仮に名状し難いものはいみじないとしたら「それは止む無い」ということは正しい fact10: 「どれもこれもは名状し難い」ということは真実である fact11: 「その市場相場は生ビールでないしさらに高次化しない」ということは間違っている fact12: あの八千メートル級は高次化する
fact10 -> int1: あのウェブサーバ側は名状し難い; int1 & fact6 -> int2: この危険物施設はいみじ; int2 & fact4 -> int3: その市場相場は異国である; void -> assump1: 以下のように仮定する。その市場相場は止む無い; int3 & assump1 -> int4: その市場相場は異国だしおまけに止む無い; fact2 -> int5: もしもその市場相場が異国だしそれに止む無いならばそれは心臓疾患でない; int4 & int5 -> int6: 「その市場相場は心臓疾患でない」ということは事実だ; int6 & fact7 -> int7: その市場相場は心臓疾患であるということはないしさらにノイシュバンシュタイン城でない; fact8 & fact11 -> int8: その市場相場は高次化する; int8 & fact3 -> int9: 「「その市場相場は心臓疾患でなくてノイシュバンシュタイン城でない」ということは本当である」ということは成り立たない; int7 & int9 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis;
あの法螺達はノイシュバンシュタイン城でかつそれは公差である
fact13 -> int11: もしこの危険物施設は名状し難いならば「それは公差だ」ということは成り立つ;
$facts$ = fact1: 名状し難い物は公差だ fact2: 異国は止む無いとすると「心臓疾患でない」ということは成り立つ fact3: 仮にその市場相場は高次化すれば「心臓疾患であるということはないしノイシュバンシュタイン城でない」ということは事実でない fact4: 仮にこの危険物施設がいみじならその市場相場は異国である fact5: 仮になんらかの物が高次化するとするとこの危険物施設は名状し難いかあるいは心臓疾患である fact6: あのウェブサーバ側が名状し難いとするとこの危険物施設はいみじ fact7: 「その市場相場はノイシュバンシュタイン城でない」ということは成り立つ fact8: 仮に「その市場相場は生ビールでなくておまけにそれは高次化しない」ということは誤っているとするとそれは高次化する fact9: 仮に名状し難いものはいみじないとしたら「それは止む無い」ということは正しい fact10: 「どれもこれもは名状し難い」ということは真実である fact11: 「その市場相場は生ビールでないしさらに高次化しない」ということは間違っている fact12: あの八千メートル級は高次化する ; $hypothesis$ = その市場相場は止む無い ; $proof$ = 
fact10 -> int1: あのウェブサーバ側は名状し難い; int1 & fact6 -> int2: この危険物施設はいみじ; int2 & fact4 -> int3: その市場相場は異国である; void -> assump1: 以下のように仮定する。その市場相場は止む無い; int3 & assump1 -> int4: その市場相場は異国だしおまけに止む無い; fact2 -> int5: もしもその市場相場が異国だしそれに止む無いならばそれは心臓疾患でない; int4 & int5 -> int6: 「その市場相場は心臓疾患でない」ということは事実だ; int6 & fact7 -> int7: その市場相場は心臓疾患であるということはないしさらにノイシュバンシュタイン城でない; fact8 & fact11 -> int8: その市場相場は高次化する; int8 & fact3 -> int9: 「「その市場相場は心臓疾患でなくてノイシュバンシュタイン城でない」ということは本当である」ということは成り立たない; int7 & int9 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis; __DISPROVED__
事実1: 名状し難い物は公差だ
事実2: 異国は止む無いとすると「心臓疾患でない」ということは成り立つ
事実3: 仮にその市場相場は高次化すれば「心臓疾患であるということはないしノイシュバンシュタイン城でない」ということは事実でない
事実4: 仮にこの危険物施設がいみじならその市場相場は異国である
事実5: 仮になんらかの物が高次化するとするとこの危険物施設は名状し難いかあるいは心臓疾患である
事実6: あのウェブサーバ側が名状し難いとするとこの危険物施設はいみじ
事実7: 「その市場相場はノイシュバンシュタイン城でない」ということは成り立つ
事実8: 仮に「その市場相場は生ビールでなくておまけにそれは高次化しない」ということは誤っているとするとそれは高次化する
事実9: 仮に名状し難いものはいみじないとしたら「それは止む無い」ということは正しい
事実10: 「どれもこれもは名状し難い」ということは真実である
事実11: 「その市場相場は生ビールでないしさらに高次化しない」ということは間違っている
事実12: あの八千メートル級は高次化する

仮説: その市場相場は止む無い
1. 事実10から、推論1: "あのウェブサーバ側は名状し難い"が導かれる
2. 推論1と事実6から、推論2: "この危険物施設はいみじ"が導かれる
3. 推論2と事実4から、推論3: "その市場相場は異国である"が導かれる
4. 仮定1: 以下のように仮定する。その市場相場は止む無い
5. 推論3と仮定1から、推論4: "その市場相場は異国だしおまけに止む無い"が導かれる
6. 事実2から、推論5: "もしもその市場相場が異国だしそれに止む無いならばそれは心臓疾患でない"が導かれる
7. 推論4と推論5から、推論6: "「その市場相場は心臓疾患でない」ということは事実だ"が導かれる
8. 推論6と事実7から、推論7: "その市場相場は心臓疾患であるということはないしさらにノイシュバンシュタイン城でない"が導かれる
9. 事実8と事実11から、推論8: "その市場相場は高次化する"が導かれる
10. 推論8と事実3から、推論9: "「「その市場相場は心臓疾患でなくてノイシュバンシュタイン城でない」ということは本当である」ということは成り立たない"が導かれる
11. 推論7と推論9から、推論10: "これは矛盾である"が導かれる
12. [仮定1]と推論10から、仮説が否定される

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