「この贅沢三昧は常態化するか清いかもしくは両方ともだ」ということは偽でない
fact1: 「その異議有りは清くない」ということは真実だ fact2: もしもこの贅沢三昧はパステル調でないならそれは常態化する fact3: もし仮にとあるものが地方行政でないとすれば細長くない fact4: もしもその異議有りがパステル調でないとすると安君であるか利用し難い fact5: もしあの公判期日はパステル調であるとすれば「この贅沢三昧は安君である」ということは成り立つ fact6: もしあの温湿気は安君であるということはないならそれは誓わない fact7: もしも「あの公判期日は誓うし安君である」ということは成り立つとすればあの温湿気は安君でない fact8: 「その異議有りが細長くないとすればあの異議有りは地方行政でない」ということは本当だ fact9: あの公判期日は安君でない fact10: もしもその異議有りは地方行政でないとしたら「この嫡孫は想定し難くないがしかし利用し難い」ということは事実と異なる fact11: もしもその異議有りは地方行政でないならば「この嫡孫は想定し難いし加えて利用し難い」ということは成り立たない fact12: 「あの公判期日は細長くてそれにそれは安君である」ということは間違っている fact13: もしもあの公判期日が誓うけど安君でないとすればあの温湿気は安君でない fact14: もし仮に「この嫡孫は想定し難い」ということは成り立つとしたらあの温湿気は安君である fact15: もしその異議有りが細長いとすればこの贅沢三昧はパステル調だということはない fact16: もし仮に「その異議有りは細長くないがしかしパステル調だ」ということは誤りならこの贅沢三昧は地方行政である fact17: あの公判期日は細長くない fact18: もしも「なにがしかのものは利用し難くないがしかし地方行政である」ということは成り立たないならば細長いということはない fact19: その異議有りはパステル調でない fact20: もしも「この嫡孫は想定し難くないけれど利用し難い」ということは誤っているとしたらあの温湿気は安君である fact21: 仮にその異議有りが地方行政であるしそれが想定し難いとしたらこの贅沢三昧は地方行政であるということはない fact22: あの公判期日は誓う一方で安君でない fact23: 「この嫡孫は想定し難いし利用し難い」ということは誤っている fact24: 仮にとあるものは細長くないならば「それは常態化するかもしくは清い」ということは成り立たない
void -> assump1: 以下のように仮定する。その異議有りは細長くない; fact8 & assump1 -> int1: その異議有りは地方行政だということはない; int1 & fact10 -> int2: 「「この嫡孫は想定し難くないがしかし利用し難い」ということは嘘だ」ということは成り立つ; int2 & fact20 -> int3: 「あの温湿気は安君である」ということは成り立つ; fact22 & fact13 -> int4: あの温湿気は安君でない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「その異議有りは細長い」ということは偽でない; int6 & fact15 -> int7: 「この贅沢三昧はパステル調でない」ということは正しい; int7 & fact2 -> int8: この贅沢三昧は常態化する; int8 -> hypothesis;
「「この贅沢三昧は常態化するか清いかもしくは両方だ」ということは成り立つ」ということは誤りだ
fact25 -> int9: もし仮に「この贅沢三昧は利用し難いということはないけれど地方行政だ」ということは事実でないならば「それは細長いということはない」ということは正しい;
$facts$ = fact1: 「その異議有りは清くない」ということは真実だ fact2: もしもこの贅沢三昧はパステル調でないならそれは常態化する fact3: もし仮にとあるものが地方行政でないとすれば細長くない fact4: もしもその異議有りがパステル調でないとすると安君であるか利用し難い fact5: もしあの公判期日はパステル調であるとすれば「この贅沢三昧は安君である」ということは成り立つ fact6: もしあの温湿気は安君であるということはないならそれは誓わない fact7: もしも「あの公判期日は誓うし安君である」ということは成り立つとすればあの温湿気は安君でない fact8: 「その異議有りが細長くないとすればあの異議有りは地方行政でない」ということは本当だ fact9: あの公判期日は安君でない fact10: もしもその異議有りは地方行政でないとしたら「この嫡孫は想定し難くないがしかし利用し難い」ということは事実と異なる fact11: もしもその異議有りは地方行政でないならば「この嫡孫は想定し難いし加えて利用し難い」ということは成り立たない fact12: 「あの公判期日は細長くてそれにそれは安君である」ということは間違っている fact13: もしもあの公判期日が誓うけど安君でないとすればあの温湿気は安君でない fact14: もし仮に「この嫡孫は想定し難い」ということは成り立つとしたらあの温湿気は安君である fact15: もしその異議有りが細長いとすればこの贅沢三昧はパステル調だということはない fact16: もし仮に「その異議有りは細長くないがしかしパステル調だ」ということは誤りならこの贅沢三昧は地方行政である fact17: あの公判期日は細長くない fact18: もしも「なにがしかのものは利用し難くないがしかし地方行政である」ということは成り立たないならば細長いということはない fact19: その異議有りはパステル調でない fact20: もしも「この嫡孫は想定し難くないけれど利用し難い」ということは誤っているとしたらあの温湿気は安君である fact21: 仮にその異議有りが地方行政であるしそれが想定し難いとしたらこの贅沢三昧は地方行政であるということはない fact22: あの公判期日は誓う一方で安君でない fact23: 「この嫡孫は想定し難いし利用し難い」ということは誤っている fact24: 仮にとあるものは細長くないならば「それは常態化するかもしくは清い」ということは成り立たない ; $hypothesis$ = 「この贅沢三昧は常態化するか清いかもしくは両方ともだ」ということは偽でない ; $proof$ = 
void -> assump1: 以下のように仮定する。その異議有りは細長くない; fact8 & assump1 -> int1: その異議有りは地方行政だということはない; int1 & fact10 -> int2: 「「この嫡孫は想定し難くないがしかし利用し難い」ということは嘘だ」ということは成り立つ; int2 & fact20 -> int3: 「あの温湿気は安君である」ということは成り立つ; fact22 & fact13 -> int4: あの温湿気は安君でない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「その異議有りは細長い」ということは偽でない; int6 & fact15 -> int7: 「この贅沢三昧はパステル調でない」ということは正しい; int7 & fact2 -> int8: この贅沢三昧は常態化する; int8 -> hypothesis; __PROVED__
事実1: 「その異議有りは清くない」ということは真実だ
事実2: もしもこの贅沢三昧はパステル調でないならそれは常態化する
事実3: もし仮にとあるものが地方行政でないとすれば細長くない
事実4: もしもその異議有りがパステル調でないとすると安君であるか利用し難い
事実5: もしあの公判期日はパステル調であるとすれば「この贅沢三昧は安君である」ということは成り立つ
事実6: もしあの温湿気は安君であるということはないならそれは誓わない
事実7: もしも「あの公判期日は誓うし安君である」ということは成り立つとすればあの温湿気は安君でない
事実8: 「その異議有りが細長くないとすればあの異議有りは地方行政でない」ということは本当だ
事実9: あの公判期日は安君でない
事実10: もしもその異議有りは地方行政でないとしたら「この嫡孫は想定し難くないがしかし利用し難い」ということは事実と異なる
事実11: もしもその異議有りは地方行政でないならば「この嫡孫は想定し難いし加えて利用し難い」ということは成り立たない
事実12: 「あの公判期日は細長くてそれにそれは安君である」ということは間違っている
事実13: もしもあの公判期日が誓うけど安君でないとすればあの温湿気は安君でない
事実14: もし仮に「この嫡孫は想定し難い」ということは成り立つとしたらあの温湿気は安君である
事実15: もしその異議有りが細長いとすればこの贅沢三昧はパステル調だということはない
事実16: もし仮に「その異議有りは細長くないがしかしパステル調だ」ということは誤りならこの贅沢三昧は地方行政である
事実17: あの公判期日は細長くない
事実18: もしも「なにがしかのものは利用し難くないがしかし地方行政である」ということは成り立たないならば細長いということはない
事実19: その異議有りはパステル調でない
事実20: もしも「この嫡孫は想定し難くないけれど利用し難い」ということは誤っているとしたらあの温湿気は安君である
事実21: 仮にその異議有りが地方行政であるしそれが想定し難いとしたらこの贅沢三昧は地方行政であるということはない
事実22: あの公判期日は誓う一方で安君でない
事実23: 「この嫡孫は想定し難いし利用し難い」ということは誤っている
事実24: 仮にとあるものは細長くないならば「それは常態化するかもしくは清い」ということは成り立たない

仮説: 「この贅沢三昧は常態化するか清いかもしくは両方ともだ」ということは偽でない
1. 仮定1: 以下のように仮定する。その異議有りは細長くない
2. 事実8と仮定1から、推論1: "その異議有りは地方行政だということはない"が導かれる
3. 推論1と事実10から、推論2: "「「この嫡孫は想定し難くないがしかし利用し難い」ということは嘘だ」ということは成り立つ"が導かれる
4. 推論2と事実20から、推論3: "「あの温湿気は安君である」ということは成り立つ"が導かれる
5. 事実22と事実13から、推論4: "あの温湿気は安君でない"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "「その異議有りは細長い」ということは偽でない"が導かれる
8. 推論6と事実15から、推論7: "「この贅沢三昧はパステル調でない」ということは正しい"が導かれる
9. 推論7と事実2から、推論8: "この贅沢三昧は常態化する"が導かれる
10. 推論8から、仮説が導かれる

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