あの水平方向性型は尊くないが同人雑誌である
fact1: あの水平方向性型は大量死である fact2: あの水平方向性型は同人雑誌である fact3: もし仮にこの燃焼法が役する一方でそれが大量死でないとするとあの両党は切り離し難くない fact4: あの両党は切り離し難くないとしたら「あの水平方向性型は尊くないけど同人雑誌である」ということは誤りである fact5: この醍醐は登場し始める fact6: あの水平方向性型は登場し始める fact7: このサンフランシスコ平和条約は拷問するということはないけれど分有する fact8: 「あの水平方向性型はホルモンバランスだ」ということは確かだ fact9: あの水平方向性型は商人らしい fact10: なにかは大量死でないとするとそれは役するしそれに切り離し難い fact11: もし仮に切り離し難くない物が登場し始めるとすると尊いということはない fact12: もし仮にあの水平方向性型が切り離し難いならばそれは役する fact13: もしなにがしかのものは役するしそれに大量死であるならそれはホルモンバランスでない
void -> assump1: 以下のように仮定する。あの水平方向性型は切り離し難い; fact12 & assump1 -> int1: あの水平方向性型は役する; int1 & fact1 -> int2: あの水平方向性型は役するしかつ大量死だ; fact13 -> int3: もし仮に「あの水平方向性型は役するしおまけに大量死だ」ということは成り立つとしたらホルモンバランスでない; int2 & int3 -> int4: あの水平方向性型はホルモンバランスでない; int4 & fact8 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの水平方向性型は切り離し難くない; int6 & fact6 -> int7: あの水平方向性型は切り離し難くないけれど登場し始める; fact11 -> int8: もし仮にあの水平方向性型は切り離し難くない一方で登場し始めるとするとそれは尊くない; int7 & int8 -> int9: あの水平方向性型は尊くない; int9 & fact2 -> hypothesis;
あの選択ツールは役する
fact14 -> int10: もし仮にあの選択ツールが大量死でないなら役するしそれに切り離し難い;
$facts$ = fact1: あの水平方向性型は大量死である fact2: あの水平方向性型は同人雑誌である fact3: もし仮にこの燃焼法が役する一方でそれが大量死でないとするとあの両党は切り離し難くない fact4: あの両党は切り離し難くないとしたら「あの水平方向性型は尊くないけど同人雑誌である」ということは誤りである fact5: この醍醐は登場し始める fact6: あの水平方向性型は登場し始める fact7: このサンフランシスコ平和条約は拷問するということはないけれど分有する fact8: 「あの水平方向性型はホルモンバランスだ」ということは確かだ fact9: あの水平方向性型は商人らしい fact10: なにかは大量死でないとするとそれは役するしそれに切り離し難い fact11: もし仮に切り離し難くない物が登場し始めるとすると尊いということはない fact12: もし仮にあの水平方向性型が切り離し難いならばそれは役する fact13: もしなにがしかのものは役するしそれに大量死であるならそれはホルモンバランスでない ; $hypothesis$ = あの水平方向性型は尊くないが同人雑誌である ; $proof$ = 
void -> assump1: 以下のように仮定する。あの水平方向性型は切り離し難い; fact12 & assump1 -> int1: あの水平方向性型は役する; int1 & fact1 -> int2: あの水平方向性型は役するしかつ大量死だ; fact13 -> int3: もし仮に「あの水平方向性型は役するしおまけに大量死だ」ということは成り立つとしたらホルモンバランスでない; int2 & int3 -> int4: あの水平方向性型はホルモンバランスでない; int4 & fact8 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの水平方向性型は切り離し難くない; int6 & fact6 -> int7: あの水平方向性型は切り離し難くないけれど登場し始める; fact11 -> int8: もし仮にあの水平方向性型は切り離し難くない一方で登場し始めるとするとそれは尊くない; int7 & int8 -> int9: あの水平方向性型は尊くない; int9 & fact2 -> hypothesis; __PROVED__
事実1: あの水平方向性型は大量死である
事実2: あの水平方向性型は同人雑誌である
事実3: もし仮にこの燃焼法が役する一方でそれが大量死でないとするとあの両党は切り離し難くない
事実4: あの両党は切り離し難くないとしたら「あの水平方向性型は尊くないけど同人雑誌である」ということは誤りである
事実5: この醍醐は登場し始める
事実6: あの水平方向性型は登場し始める
事実7: このサンフランシスコ平和条約は拷問するということはないけれど分有する
事実8: 「あの水平方向性型はホルモンバランスだ」ということは確かだ
事実9: あの水平方向性型は商人らしい
事実10: なにかは大量死でないとするとそれは役するしそれに切り離し難い
事実11: もし仮に切り離し難くない物が登場し始めるとすると尊いということはない
事実12: もし仮にあの水平方向性型が切り離し難いならばそれは役する
事実13: もしなにがしかのものは役するしそれに大量死であるならそれはホルモンバランスでない

仮説: あの水平方向性型は尊くないが同人雑誌である
1. 仮定1: 以下のように仮定する。あの水平方向性型は切り離し難い
2. 事実12と仮定1から、推論1: "あの水平方向性型は役する"が導かれる
3. 推論1と事実1から、推論2: "あの水平方向性型は役するしかつ大量死だ"が導かれる
4. 事実13から、推論3: "もし仮に「あの水平方向性型は役するしおまけに大量死だ」ということは成り立つとしたらホルモンバランスでない"が導かれる
5. 推論2と推論3から、推論4: "あの水平方向性型はホルモンバランスでない"が導かれる
6. 推論4と事実8から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "あの水平方向性型は切り離し難くない"が導かれる
8. 推論6と事実6から、推論7: "あの水平方向性型は切り離し難くないけれど登場し始める"が導かれる
9. 事実11から、推論8: "もし仮にあの水平方向性型は切り離し難くない一方で登場し始めるとするとそれは尊くない"が導かれる
10. 推論7と推論8から、推論9: "あの水平方向性型は尊くない"が導かれる
11. 推論9と事実2から、仮説が導かれる

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