あの開き癖は物凄ーい
fact1: あの開き癖はささくれるがソファーベッドでない fact2: もしもそのア済みが勢力均衡であるということはないとするとあの宅地造成は勢力均衡だ fact3: もし仮になんらかの物は定時株主総会であるならばそれは物凄ーい fact4: 白しものはブランドらしくないかもしくは勢力均衡でないかどちらもである fact5: その択一が早しがしかしＴＩＡでないならばこのウラボンはＴＩＡでない fact6: その択一は早し fact7: 仮になにがしかの物はＴＩＡでないなら「勢力均衡でないし定時株主総会でない」ということは誤りだ fact8: もしもあの宅地造成が定時株主総会であるし物凄ーいならば「あの開き癖は物凄ーくない」ということは本当である fact9: もし仮にあの開き癖はささくれるけれどソファーベッドでないならそれは勢力均衡であるということはない fact10: あの開き癖はブランドらしい fact11: 仮に「何らかのものは堪らないしさらに物凄ーくない」ということは間違っていればそれは物凄ーい fact12: もしもそのア済みはブランドらしくないならば「あの宅地造成は勢力均衡だ」ということは真実だ fact13: あの信仰共同体が理解し辛いならば定時株主総会だ fact14: もし仮にあの開き癖がブランドらしいとしたらそれはＴＩＡでない fact15: そのア済みはファイル名であるけど選択し易くない fact16: 「このウラボンはＴＩＡだということはない」ということは真実なら「あの宅地造成は堪らなくてそれは物凄ーくない」ということは間違いだ fact17: もし仮にファイル名は選択し易くないとすると「それは白し」ということは正しい
fact9 & fact1 -> int1: あの開き癖は勢力均衡でない; void -> assump1: 以下のように仮定する。あの開き癖は定時株主総会でない; int1 & assump1 -> int2: あの開き癖は勢力均衡でないしおまけに定時株主総会でない; fact7 -> int3: もしもあの開き癖はＴＩＡでないとしたら「勢力均衡でないしそれは定時株主総会でない」ということは誤りだ; fact10 & fact14 -> int4: あの開き癖はＴＩＡでない; int3 & int4 -> int5: 「あの開き癖は勢力均衡であるということはなくて定時株主総会でない」ということは真実でない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの開き癖は定時株主総会だ; fact3 -> int8: もしもあの開き癖が定時株主総会なら物凄ーい; int7 & int8 -> hypothesis;
あの開き癖は物凄ーくない
fact18 -> int9: そのア済みが白しとするとブランドらしくないかもしくはそれは勢力均衡でないか両方である; fact23 -> int10: 仮にそのア済みはファイル名だ一方で選択し易くないならば「白し」ということは真実だ; int10 & fact21 -> int11: そのア済みは白し; int9 & int11 -> int12: そのア済みはブランドらしくないか勢力均衡でないかまたは両方ともである; int12 & fact24 & fact25 -> int13: あの宅地造成は勢力均衡である; fact19 -> int14: もしも「あの宅地造成は堪らなくてまた物凄ーいということはない」ということは成り立たないなら物凄ーい;
$facts$ = fact1: あの開き癖はささくれるがソファーベッドでない fact2: もしもそのア済みが勢力均衡であるということはないとするとあの宅地造成は勢力均衡だ fact3: もし仮になんらかの物は定時株主総会であるならばそれは物凄ーい fact4: 白しものはブランドらしくないかもしくは勢力均衡でないかどちらもである fact5: その択一が早しがしかしＴＩＡでないならばこのウラボンはＴＩＡでない fact6: その択一は早し fact7: 仮になにがしかの物はＴＩＡでないなら「勢力均衡でないし定時株主総会でない」ということは誤りだ fact8: もしもあの宅地造成が定時株主総会であるし物凄ーいならば「あの開き癖は物凄ーくない」ということは本当である fact9: もし仮にあの開き癖はささくれるけれどソファーベッドでないならそれは勢力均衡であるということはない fact10: あの開き癖はブランドらしい fact11: 仮に「何らかのものは堪らないしさらに物凄ーくない」ということは間違っていればそれは物凄ーい fact12: もしもそのア済みはブランドらしくないならば「あの宅地造成は勢力均衡だ」ということは真実だ fact13: あの信仰共同体が理解し辛いならば定時株主総会だ fact14: もし仮にあの開き癖がブランドらしいとしたらそれはＴＩＡでない fact15: そのア済みはファイル名であるけど選択し易くない fact16: 「このウラボンはＴＩＡだということはない」ということは真実なら「あの宅地造成は堪らなくてそれは物凄ーくない」ということは間違いだ fact17: もし仮にファイル名は選択し易くないとすると「それは白し」ということは正しい ; $hypothesis$ = あの開き癖は物凄ーい ; $proof$ = 
fact9 & fact1 -> int1: あの開き癖は勢力均衡でない; void -> assump1: 以下のように仮定する。あの開き癖は定時株主総会でない; int1 & assump1 -> int2: あの開き癖は勢力均衡でないしおまけに定時株主総会でない; fact7 -> int3: もしもあの開き癖はＴＩＡでないとしたら「勢力均衡でないしそれは定時株主総会でない」ということは誤りだ; fact10 & fact14 -> int4: あの開き癖はＴＩＡでない; int3 & int4 -> int5: 「あの開き癖は勢力均衡であるということはなくて定時株主総会でない」ということは真実でない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの開き癖は定時株主総会だ; fact3 -> int8: もしもあの開き癖が定時株主総会なら物凄ーい; int7 & int8 -> hypothesis; __PROVED__
事実1: あの開き癖はささくれるがソファーベッドでない
事実2: もしもそのア済みが勢力均衡であるということはないとするとあの宅地造成は勢力均衡だ
事実3: もし仮になんらかの物は定時株主総会であるならばそれは物凄ーい
事実4: 白しものはブランドらしくないかもしくは勢力均衡でないかどちらもである
事実5: その択一が早しがしかしＴＩＡでないならばこのウラボンはＴＩＡでない
事実6: その択一は早し
事実7: 仮になにがしかの物はＴＩＡでないなら「勢力均衡でないし定時株主総会でない」ということは誤りだ
事実8: もしもあの宅地造成が定時株主総会であるし物凄ーいならば「あの開き癖は物凄ーくない」ということは本当である
事実9: もし仮にあの開き癖はささくれるけれどソファーベッドでないならそれは勢力均衡であるということはない
事実10: あの開き癖はブランドらしい
事実11: 仮に「何らかのものは堪らないしさらに物凄ーくない」ということは間違っていればそれは物凄ーい
事実12: もしもそのア済みはブランドらしくないならば「あの宅地造成は勢力均衡だ」ということは真実だ
事実13: あの信仰共同体が理解し辛いならば定時株主総会だ
事実14: もし仮にあの開き癖がブランドらしいとしたらそれはＴＩＡでない
事実15: そのア済みはファイル名であるけど選択し易くない
事実16: 「このウラボンはＴＩＡだということはない」ということは真実なら「あの宅地造成は堪らなくてそれは物凄ーくない」ということは間違いだ
事実17: もし仮にファイル名は選択し易くないとすると「それは白し」ということは正しい

仮説: あの開き癖は物凄ーい
1. 事実9と事実1から、推論1: "あの開き癖は勢力均衡でない"が導かれる
2. 仮定1: 以下のように仮定する。あの開き癖は定時株主総会でない
3. 推論1と仮定1から、推論2: "あの開き癖は勢力均衡でないしおまけに定時株主総会でない"が導かれる
4. 事実7から、推論3: "もしもあの開き癖はＴＩＡでないとしたら「勢力均衡でないしそれは定時株主総会でない」ということは誤りだ"が導かれる
5. 事実10と事実14から、推論4: "あの開き癖はＴＩＡでない"が導かれる
6. 推論3と推論4から、推論5: "「あの開き癖は勢力均衡であるということはなくて定時株主総会でない」ということは真実でない"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "あの開き癖は定時株主総会だ"が導かれる
9. 事実3から、推論8: "もしもあの開き癖が定時株主総会なら物凄ーい"が導かれる
10. 推論7と推論8から、仮説が導かれる

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