「このＳＰ大阪は城郭であるけど控除しない」ということは間違いだ
fact1: もし「このＳＰ大阪はＭＣＡソーラーシステムであってその上曾爺さんだ」ということは確かでないとするとそれはＭＣＡソーラーシステムでない fact2: その牧羊はＭＣＡソーラーシステムだ fact3: なんらかの物は太しとすれば「それはＭＣＡソーラーシステムでないしさらに控除しない」ということは嘘だ fact4: もしこのＳＰ大阪はＭＣＡソーラーシステムでないとすると「城郭だしおまけに控除する」ということは間違っている fact5: 「このＳＰ大阪は控除する一方で退色し易いということはない」ということは誤っている fact6: このＳＰ大阪は華々しい fact7: あの必要部数は働き易い fact8: 仮に「あるものは特殊相対性理論であるかもしくは横浜ステーションである」ということは誤っていればそれは控除しない fact9: 仮にある物はＭＣＡソーラーシステムでないなら「城郭であるし控除しない」ということは間違いだ fact10: 「あのベジェ曲線は特殊相対性理論でないけど近寄り難い」ということは成り立たないならばこの分派は特殊相対性理論である fact11: もし仮に「あの必要部数はＭＣＡソーラーシステムでないしおまけに控除しない」ということは偽であるとするとこのＳＰ大阪は控除しない fact12: もしあの必要部数が城郭だしおまけに働き易いとするとそれは太しない fact13: あの必要部数は城郭である fact14: 「このＳＰ大阪は太ししまたそれは転げ出す」ということは偽である fact15: この分派が特殊相対性理論だとしたらこのＳＰ大阪は城郭だ fact16: もし仮になにがしかのものは吸収され難くないとすれば「発生し難いがしかし御返り為さらない」ということは事実と異なる fact17: もし「あのベジェ曲線は難詰しないけどプレー出来る」ということは成り立たないとすればそれはプレー出来ない fact18: もし「あのベジェ曲線はプレー出来ない」ということは成り立てば「それは特殊相対性理論でないしそれは近寄り難い」ということは成り立たない fact19: もしもこのＳＰ大阪はＭＣＡソーラーシステムであるとするとそれは太し fact20: 「このＳＰ大阪は太ししまたそれは転げ出す」ということは誤りであるとすればそれは太しない fact21: 仮にあるものはＭＣＡソーラーシステムでないならば「それは城郭だし加えて控除する」ということは成り立たない fact22: 「このＳＰ大阪は城郭であるしまた控除する」ということは成り立たない
void -> assump1: 以下のように仮定する。このＳＰ大阪はＭＣＡソーラーシステムである; fact19 & assump1 -> int1: このＳＰ大阪は太し; fact20 & fact14 -> int2: このＳＰ大阪は太しない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: このＳＰ大阪はＭＣＡソーラーシステムだということはない; fact9 -> int5: もしもこのＳＰ大阪はＭＣＡソーラーシステムでないならば「それは城郭であるし控除しない」ということは事実と異なる; int4 & int5 -> hypothesis;
「「このＳＰ大阪は保健であるし転げ出す」ということは間違っている」ということは成り立つ
fact24 & fact23 -> int6: あの必要部数は城郭であるしそれは働き易い; fact25 & int6 -> int7: あの必要部数は太しない; fact26 -> int8: もし「あの必要部数は特殊相対性理論であるかあるいは横浜ステーションであるかあるいは両方ともである」ということは間違っているとすればそれは控除しない;
$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: 以下のように仮定する。このＳＰ大阪はＭＣＡソーラーシステムである; fact19 & assump1 -> int1: このＳＰ大阪は太し; fact20 & fact14 -> int2: このＳＰ大阪は太しない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: このＳＰ大阪はＭＣＡソーラーシステムだということはない; fact9 -> int5: もしもこのＳＰ大阪はＭＣＡソーラーシステムでないならば「それは城郭であるし控除しない」ということは事実と異なる; int4 & int5 -> 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. 事実19と仮定1から、推論1: "このＳＰ大阪は太し"が導かれる
3. 事実20と事実14から、推論2: "このＳＰ大阪は太しない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "このＳＰ大阪はＭＣＡソーラーシステムだということはない"が導かれる
6. 事実9から、推論5: "もしもこのＳＰ大阪はＭＣＡソーラーシステムでないならば「それは城郭であるし控除しない」ということは事実と異なる"が導かれる
7. 推論4と推論5から、仮説が導かれる

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