その回転異常は荷でない
fact1: もし仮に「あの色彩感覚はねちっこくないかそれは適格合併後であるか両方ともである」ということは誤りであるとするとその回転異常は地中深くない fact2: あの色彩感覚は失笑する fact3: 「このランプシェードは失笑するしさらに檀家制だ」ということは偽だ fact4: 「このランプシェードは御固いしその上信じ難い」ということは確かでない fact5: もし「あの一区画は千六百一帝国石油でない一方で馳駆する」ということは成り立たないならばこのランプシェードは失笑する fact6: 地中深くないものは荷でない fact7: 「仮にこの編集ラインが浮き上がるとするとこの編集ラインは信じ難くない」ということは本当だ fact8: 仮にあの一区画が檀家制でないとすればそれは熱帯低気圧でないか嗅ぎ取るかあるいは両方ともだ fact9: この編集ラインは浮き上がらないならば「あの一区画は千六百一帝国石油でないけどそれは馳駆する」ということは間違いだ fact10: もしあの色彩感覚が失笑するとすればこのランプシェードは適格合併後だ fact11: 仮に「このランプシェードは檀家制でないしそれは千六百一帝国石油でない」ということは偽だとしたらあの一区画は檀家制でない fact12: もし仮にとある物が熱帯低気圧だということはないかまたはそれが嗅ぎ取るとするとそれは熱帯低気圧であるということはない fact13: 仮にこの編集ラインは嗅ぎ取るとすると「あの色彩感覚はねちっこくないかまたは適格合併後であるかまたは両方ともである」ということは誤りだ fact14: もしも「このランプシェードは御固いしその上信じ難い」ということは誤りだとするとそれは失笑しない fact15: もし仮にこの編集ラインは嗅ぎ取らないかもしくは檀家制であるかまたは両方であるとしたらそれは浮き上がらない fact16: 仮にこのランプシェードは浮き上がれば「それは檀家制でなくて千六百一帝国石油でない」ということは成り立たない
void -> assump1: 以下のように仮定する。この編集ラインは嗅ぎ取らない; assump1 -> int1: この編集ラインは嗅ぎ取るということはないかあるいは檀家制であるかあるいはどちらもだ; int1 & fact15 -> int2: 「この編集ラインは浮き上がらない」ということは本当だ; int2 & fact9 -> int3: 「あの一区画は千六百一帝国石油でないがしかし馳駆する」ということは嘘である; int3 & fact5 -> int4: このランプシェードは失笑する; fact4 & fact14 -> int5: このランプシェードは失笑しない; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この編集ラインは嗅ぎ取る; int7 & fact13 -> int8: 「「あの色彩感覚はねちっこいということはないかあるいはそれは適格合併後だ」ということは成り立つ」ということは嘘である; int8 & fact1 -> int9: その回転異常は地中深くない; fact6 -> int10: もしもその回転異常が地中深いということはないならば荷でない; int9 & int10 -> hypothesis;
「この編集ラインは熱帯低気圧であるし加えてサムシングだ」ということは誤っている
fact21 -> int11: もし仮にあの一区画が熱帯低気圧でないかまたは嗅ぎ取るかあるいはどちらもであるとすれば熱帯低気圧だということはない; fact19 -> int12: 「失笑する」物はある;
$facts$ = fact1: もし仮に「あの色彩感覚はねちっこくないかそれは適格合併後であるか両方ともである」ということは誤りであるとするとその回転異常は地中深くない fact2: あの色彩感覚は失笑する fact3: 「このランプシェードは失笑するしさらに檀家制だ」ということは偽だ fact4: 「このランプシェードは御固いしその上信じ難い」ということは確かでない fact5: もし「あの一区画は千六百一帝国石油でない一方で馳駆する」ということは成り立たないならばこのランプシェードは失笑する fact6: 地中深くないものは荷でない fact7: 「仮にこの編集ラインが浮き上がるとするとこの編集ラインは信じ難くない」ということは本当だ fact8: 仮にあの一区画が檀家制でないとすればそれは熱帯低気圧でないか嗅ぎ取るかあるいは両方ともだ fact9: この編集ラインは浮き上がらないならば「あの一区画は千六百一帝国石油でないけどそれは馳駆する」ということは間違いだ fact10: もしあの色彩感覚が失笑するとすればこのランプシェードは適格合併後だ fact11: 仮に「このランプシェードは檀家制でないしそれは千六百一帝国石油でない」ということは偽だとしたらあの一区画は檀家制でない fact12: もし仮にとある物が熱帯低気圧だということはないかまたはそれが嗅ぎ取るとするとそれは熱帯低気圧であるということはない fact13: 仮にこの編集ラインは嗅ぎ取るとすると「あの色彩感覚はねちっこくないかまたは適格合併後であるかまたは両方ともである」ということは誤りだ fact14: もしも「このランプシェードは御固いしその上信じ難い」ということは誤りだとするとそれは失笑しない fact15: もし仮にこの編集ラインは嗅ぎ取らないかもしくは檀家制であるかまたは両方であるとしたらそれは浮き上がらない fact16: 仮にこのランプシェードは浮き上がれば「それは檀家制でなくて千六百一帝国石油でない」ということは成り立たない ; $hypothesis$ = その回転異常は荷でない ; $proof$ = 
void -> assump1: 以下のように仮定する。この編集ラインは嗅ぎ取らない; assump1 -> int1: この編集ラインは嗅ぎ取るということはないかあるいは檀家制であるかあるいはどちらもだ; int1 & fact15 -> int2: 「この編集ラインは浮き上がらない」ということは本当だ; int2 & fact9 -> int3: 「あの一区画は千六百一帝国石油でないがしかし馳駆する」ということは嘘である; int3 & fact5 -> int4: このランプシェードは失笑する; fact4 & fact14 -> int5: このランプシェードは失笑しない; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この編集ラインは嗅ぎ取る; int7 & fact13 -> int8: 「「あの色彩感覚はねちっこいということはないかあるいはそれは適格合併後だ」ということは成り立つ」ということは嘘である; int8 & fact1 -> int9: その回転異常は地中深くない; fact6 -> int10: もしもその回転異常が地中深いということはないならば荷でない; int9 & int10 -> hypothesis; __PROVED__
事実1: もし仮に「あの色彩感覚はねちっこくないかそれは適格合併後であるか両方ともである」ということは誤りであるとするとその回転異常は地中深くない
事実2: あの色彩感覚は失笑する
事実3: 「このランプシェードは失笑するしさらに檀家制だ」ということは偽だ
事実4: 「このランプシェードは御固いしその上信じ難い」ということは確かでない
事実5: もし「あの一区画は千六百一帝国石油でない一方で馳駆する」ということは成り立たないならばこのランプシェードは失笑する
事実6: 地中深くないものは荷でない
事実7: 「仮にこの編集ラインが浮き上がるとするとこの編集ラインは信じ難くない」ということは本当だ
事実8: 仮にあの一区画が檀家制でないとすればそれは熱帯低気圧でないか嗅ぎ取るかあるいは両方ともだ
事実9: この編集ラインは浮き上がらないならば「あの一区画は千六百一帝国石油でないけどそれは馳駆する」ということは間違いだ
事実10: もしあの色彩感覚が失笑するとすればこのランプシェードは適格合併後だ
事実11: 仮に「このランプシェードは檀家制でないしそれは千六百一帝国石油でない」ということは偽だとしたらあの一区画は檀家制でない
事実12: もし仮にとある物が熱帯低気圧だということはないかまたはそれが嗅ぎ取るとするとそれは熱帯低気圧であるということはない
事実13: 仮にこの編集ラインは嗅ぎ取るとすると「あの色彩感覚はねちっこくないかまたは適格合併後であるかまたは両方ともである」ということは誤りだ
事実14: もしも「このランプシェードは御固いしその上信じ難い」ということは誤りだとするとそれは失笑しない
事実15: もし仮にこの編集ラインは嗅ぎ取らないかもしくは檀家制であるかまたは両方であるとしたらそれは浮き上がらない
事実16: 仮にこのランプシェードは浮き上がれば「それは檀家制でなくて千六百一帝国石油でない」ということは成り立たない

仮説: その回転異常は荷でない
1. 仮定1: 以下のように仮定する。この編集ラインは嗅ぎ取らない
2. 仮定1から、推論1: "この編集ラインは嗅ぎ取るということはないかあるいは檀家制であるかあるいはどちらもだ"が導かれる
3. 推論1と事実15から、推論2: "「この編集ラインは浮き上がらない」ということは本当だ"が導かれる
4. 推論2と事実9から、推論3: "「あの一区画は千六百一帝国石油でないがしかし馳駆する」ということは嘘である"が導かれる
5. 推論3と事実5から、推論4: "このランプシェードは失笑する"が導かれる
6. 事実4と事実14から、推論5: "このランプシェードは失笑しない"が導かれる
7. 推論4と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "この編集ラインは嗅ぎ取る"が導かれる
9. 推論7と事実13から、推論8: "「「あの色彩感覚はねちっこいということはないかあるいはそれは適格合併後だ」ということは成り立つ」ということは嘘である"が導かれる
10. 推論8と事実1から、推論9: "その回転異常は地中深くない"が導かれる
11. 事実6から、推論10: "もしもその回転異常が地中深いということはないならば荷でない"が導かれる
12. 推論9と推論10から、仮説が導かれる

よって、仮説が証明されました。