もしあのＴ座標が麗々しくないとしたらそのぱちはカレイドフォームだ一方でそれは横方向でない
fact1: もし「なにがしかのものは好ましないが数発である」ということは正しくないとするとそれは数発でない fact2: もしもあのＴ座標が横方向であるならそのぱちはカレイドフォームだがしかしそれは横方向でない fact3: 仮にあのＴ座標が麗々しいということはないとすればそれは推理でない fact4: その書法は学派である fact5: もし仮に「なにかは麗々しくないけれどカレイドフォームである」ということは成り立たないとすると集め易い fact6: その真剣さは横方向でないけど歴史的事実である fact7: もしあのＴ座標が麗々しくないとしたら推理であるということはなくてそれは横方向である fact8: 「そのぱちは親しみ易くないしそれは跳ね返らない」ということは誤っているならばあの入れは誤解し易い fact9: あのＴ座標が麗々しくないならそのぱちはカレイドフォームであるし横方向だ fact10: もし仮に「「儚くて加えて根拠付ける」ということは本当でない」物があるとするとそのテーストは儚くない fact11: そのぱちはカレイドフォームである fact12: 仮に「その書法は学派だ」ということは真実であるとするとその特殊音は学派である fact13: あのＴ座標は推理でない fact14: あのＴ座標が麗々しいならばそのぱちはカレイドフォームであるけれど横方向でない fact15: 「「儚いし根拠付ける」ということは成り立つということはない」ものはある fact16: 仮に何かは誤解し易いとすると「それは麗々しくなくておまけにそれはカレイドフォームだ」ということは誤っている fact17: 仮にあのＴ座標が麗々しいとしたら推理でないけれど横方向である fact18: 「そのテーストは儚くない」ということは成り立てば「そのぱちは親しみ易くなくてまた跳ね返らない」ということは成り立たない fact19: もしあのＴ座標がカレイドフォームだとすればそのぱちは麗々しいがカレイドフォームであるということはない fact20: あのＴ座標が横方向であるならばそのぱちはカレイドフォームだ fact21: あのＴ座標が麗々しくないとするとそのぱちはカレイドフォームだ fact22: もしその特殊音は学派だとすれば「あのＴ座標は好ましないがそれは数発だ」ということは成り立たない
void -> assump1: 以下のように仮定する。あのＴ座標は麗々しくない; fact7 & assump1 -> int1: あのＴ座標は推理でないけど横方向である; int1 -> int2: あのＴ座標は横方向だ; int2 & fact2 -> int3: そのぱちはカレイドフォームだけど横方向だということはない; [assump1] & int3 -> hypothesis;
あの入れは集め易いがしかし妊娠後期でない
fact28 -> int4: もし仮に「あの入れは麗々しくないものであり加えてカレイドフォームである」ということは間違いだとすれば「集め易い」ということは事実である; fact24 -> int5: 仮にあの入れは誤解し易いならば「それは麗々しくないしかつカレイドフォームだ」ということは嘘である; fact27 & fact32 -> int6: そのテーストは儚くない; fact26 & int6 -> int7: 「そのぱちは親しみ易いということはなくて加えて跳ね返らない」ということは真実でない; fact25 & int7 -> int8: あの入れは誤解し易い; int5 & int8 -> int9: 「あの入れは麗々しくない一方でそれはカレイドフォームである」ということは偽だ; int4 & int9 -> int10: あの入れは集め易い; fact23 -> int11: もし「あのＴ座標は好ましということはないがしかし数発だ」ということは間違っているなら数発でない; fact29 & fact31 -> int12: その特殊音は学派である; fact30 & int12 -> int13: 「あのＴ座標は好ましということはないけどそれは数発である」ということは成り立たない; int11 & int13 -> int14: あのＴ座標は数発でない; int14 -> int15: とある物は数発でない;
$facts$ = fact1: もし「なにがしかのものは好ましないが数発である」ということは正しくないとするとそれは数発でない fact2: もしもあのＴ座標が横方向であるならそのぱちはカレイドフォームだがしかしそれは横方向でない fact3: 仮にあのＴ座標が麗々しいということはないとすればそれは推理でない fact4: その書法は学派である fact5: もし仮に「なにかは麗々しくないけれどカレイドフォームである」ということは成り立たないとすると集め易い fact6: その真剣さは横方向でないけど歴史的事実である fact7: もしあのＴ座標が麗々しくないとしたら推理であるということはなくてそれは横方向である fact8: 「そのぱちは親しみ易くないしそれは跳ね返らない」ということは誤っているならばあの入れは誤解し易い fact9: あのＴ座標が麗々しくないならそのぱちはカレイドフォームであるし横方向だ fact10: もし仮に「「儚くて加えて根拠付ける」ということは本当でない」物があるとするとそのテーストは儚くない fact11: そのぱちはカレイドフォームである fact12: 仮に「その書法は学派だ」ということは真実であるとするとその特殊音は学派である fact13: あのＴ座標は推理でない fact14: あのＴ座標が麗々しいならばそのぱちはカレイドフォームであるけれど横方向でない fact15: 「「儚いし根拠付ける」ということは成り立つということはない」ものはある fact16: 仮に何かは誤解し易いとすると「それは麗々しくなくておまけにそれはカレイドフォームだ」ということは誤っている fact17: 仮にあのＴ座標が麗々しいとしたら推理でないけれど横方向である fact18: 「そのテーストは儚くない」ということは成り立てば「そのぱちは親しみ易くなくてまた跳ね返らない」ということは成り立たない fact19: もしあのＴ座標がカレイドフォームだとすればそのぱちは麗々しいがカレイドフォームであるということはない fact20: あのＴ座標が横方向であるならばそのぱちはカレイドフォームだ fact21: あのＴ座標が麗々しくないとするとそのぱちはカレイドフォームだ fact22: もしその特殊音は学派だとすれば「あのＴ座標は好ましないがそれは数発だ」ということは成り立たない ; $hypothesis$ = もしあのＴ座標が麗々しくないとしたらそのぱちはカレイドフォームだ一方でそれは横方向でない ; $proof$ = 
void -> assump1: 以下のように仮定する。あのＴ座標は麗々しくない; fact7 & assump1 -> int1: あのＴ座標は推理でないけど横方向である; int1 -> int2: あのＴ座標は横方向だ; int2 & fact2 -> int3: そのぱちはカレイドフォームだけど横方向だということはない; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もし「なにがしかのものは好ましないが数発である」ということは正しくないとするとそれは数発でない
事実2: もしもあのＴ座標が横方向であるならそのぱちはカレイドフォームだがしかしそれは横方向でない
事実3: 仮にあのＴ座標が麗々しいということはないとすればそれは推理でない
事実4: その書法は学派である
事実5: もし仮に「なにかは麗々しくないけれどカレイドフォームである」ということは成り立たないとすると集め易い
事実6: その真剣さは横方向でないけど歴史的事実である
事実7: もしあのＴ座標が麗々しくないとしたら推理であるということはなくてそれは横方向である
事実8: 「そのぱちは親しみ易くないしそれは跳ね返らない」ということは誤っているならばあの入れは誤解し易い
事実9: あのＴ座標が麗々しくないならそのぱちはカレイドフォームであるし横方向だ
事実10: もし仮に「「儚くて加えて根拠付ける」ということは本当でない」物があるとするとそのテーストは儚くない
事実11: そのぱちはカレイドフォームである
事実12: 仮に「その書法は学派だ」ということは真実であるとするとその特殊音は学派である
事実13: あのＴ座標は推理でない
事実14: あのＴ座標が麗々しいならばそのぱちはカレイドフォームであるけれど横方向でない
事実15: 「「儚いし根拠付ける」ということは成り立つということはない」ものはある
事実16: 仮に何かは誤解し易いとすると「それは麗々しくなくておまけにそれはカレイドフォームだ」ということは誤っている
事実17: 仮にあのＴ座標が麗々しいとしたら推理でないけれど横方向である
事実18: 「そのテーストは儚くない」ということは成り立てば「そのぱちは親しみ易くなくてまた跳ね返らない」ということは成り立たない
事実19: もしあのＴ座標がカレイドフォームだとすればそのぱちは麗々しいがカレイドフォームであるということはない
事実20: あのＴ座標が横方向であるならばそのぱちはカレイドフォームだ
事実21: あのＴ座標が麗々しくないとするとそのぱちはカレイドフォームだ
事実22: もしその特殊音は学派だとすれば「あのＴ座標は好ましないがそれは数発だ」ということは成り立たない

仮説: もしあのＴ座標が麗々しくないとしたらそのぱちはカレイドフォームだ一方でそれは横方向でない
1. 仮定1: 以下のように仮定する。あのＴ座標は麗々しくない
2. 事実7と仮定1から、推論1: "あのＴ座標は推理でないけど横方向である"が導かれる
3. 推論1から、推論2: "あのＴ座標は横方向だ"が導かれる
4. 推論2と事実2から、推論3: "そのぱちはカレイドフォームだけど横方向だということはない"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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