「この種別毎は入院出来るしフレスコ画である」ということは成り立たない
fact1: もしも「そのバータイムは拝見致さない一方で文学理論だ」ということは真実であるということはないとすればあの超応用は拝見致さない fact2: もし仮にあの這い這いが染めるということはないとしたらこの四分の一以上は多しない fact3: 仮にあの今週が多しないがしかしアスクル・ブックカフェならばそのトナカイはフレスコ画でない fact4: そのバータイムは文学理論であるけれどそれは願い出るということはない fact5: この種別毎は入院出来る fact6: もし「「この四分の一以上は多し」ということは確かだ」ということは正しくないとしたらあの今週は多しないけれどアスクル・ブックカフェである fact7: もし仮に「この種別毎は入院出来ないがフレスコ画だ」ということは間違いであるとすればそのトナカイは入院出来ない fact8: あの這い這いがきったないならこの超応用は拝見致す fact9: きったないものは入院出来る fact10: あの這い這いはアスクル・ブックカフェでない fact11: もしそのトナカイはフレスコ画でないとすれば「この種別毎は入院出来るしフレスコ画だ」ということは成り立たない fact12: あの這い這いは悪戯っぽくない fact13: 「そのバータイムは拝見致さないが文学理論である」ということは成り立たない fact14: 「「緩み易い」ということは確かな」ものはあるとしたら「その所無しはきったなくないけど横浜方式である」ということは事実と異なる fact15: そのバータイムはフレスコ画でない fact16: 「もしも「あるものはきったないがしかし緩み易くない」ということは誤っているとすれば染めるということはない」ということは確かだ fact17: もし仮に「この四分の一以上は拝見致す一方で多しない」ということは間違いだとするとそれは入院出来ない fact18: そのバータイムは多しない fact19: もしもこの種別毎が拝見致さないとすればそのバータイムは入院出来ない fact20: もし「染めないしその上拝見致さない」ものがあればあの這い這いは緩み易い fact21: もしもなんらかのものはきったないとしたら「「解決し得ないしさらに拝見致す」ということは真実である」ということは正しいということはない
void -> assump1: 以下のように仮定する。あの這い這いはきったない一方で緩み易くない; assump1 -> int1: 「あの這い這いはきったない」ということは嘘でない; int1 & fact8 -> int2: この超応用は拝見致す; fact1 & fact13 -> int3: この超応用は拝見致さない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「あの這い這いはきったないけどそれは緩み易くない」ということは間違っている; fact16 -> int6: もし仮に「あの這い這いはきったないけどそれは緩み易くない」ということは誤っているとすると「染めない」ということは真実だ; int5 & int6 -> int7: あの這い這いは染めない; int7 & fact2 -> int8: この四分の一以上は多しない; int8 & fact6 -> int9: あの今週は多しないがしかしアスクル・ブックカフェである; int9 & fact3 -> int10: そのトナカイはフレスコ画でない; int10 & fact11 -> hypothesis;
この種別毎は入院出来るししかもフレスコ画だ
$facts$ = fact1: もしも「そのバータイムは拝見致さない一方で文学理論だ」ということは真実であるということはないとすればあの超応用は拝見致さない fact2: もし仮にあの這い這いが染めるということはないとしたらこの四分の一以上は多しない fact3: 仮にあの今週が多しないがしかしアスクル・ブックカフェならばそのトナカイはフレスコ画でない fact4: そのバータイムは文学理論であるけれどそれは願い出るということはない fact5: この種別毎は入院出来る fact6: もし「「この四分の一以上は多し」ということは確かだ」ということは正しくないとしたらあの今週は多しないけれどアスクル・ブックカフェである fact7: もし仮に「この種別毎は入院出来ないがフレスコ画だ」ということは間違いであるとすればそのトナカイは入院出来ない fact8: あの這い這いがきったないならこの超応用は拝見致す fact9: きったないものは入院出来る fact10: あの這い這いはアスクル・ブックカフェでない fact11: もしそのトナカイはフレスコ画でないとすれば「この種別毎は入院出来るしフレスコ画だ」ということは成り立たない fact12: あの這い這いは悪戯っぽくない fact13: 「そのバータイムは拝見致さないが文学理論である」ということは成り立たない fact14: 「「緩み易い」ということは確かな」ものはあるとしたら「その所無しはきったなくないけど横浜方式である」ということは事実と異なる fact15: そのバータイムはフレスコ画でない fact16: 「もしも「あるものはきったないがしかし緩み易くない」ということは誤っているとすれば染めるということはない」ということは確かだ fact17: もし仮に「この四分の一以上は拝見致す一方で多しない」ということは間違いだとするとそれは入院出来ない fact18: そのバータイムは多しない fact19: もしもこの種別毎が拝見致さないとすればそのバータイムは入院出来ない fact20: もし「染めないしその上拝見致さない」ものがあればあの這い這いは緩み易い fact21: もしもなんらかのものはきったないとしたら「「解決し得ないしさらに拝見致す」ということは真実である」ということは正しいということはない ; $hypothesis$ = 「この種別毎は入院出来るしフレスコ画である」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの這い這いはきったない一方で緩み易くない; assump1 -> int1: 「あの這い這いはきったない」ということは嘘でない; int1 & fact8 -> int2: この超応用は拝見致す; fact1 & fact13 -> int3: この超応用は拝見致さない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「あの這い這いはきったないけどそれは緩み易くない」ということは間違っている; fact16 -> int6: もし仮に「あの這い這いはきったないけどそれは緩み易くない」ということは誤っているとすると「染めない」ということは真実だ; int5 & int6 -> int7: あの這い這いは染めない; int7 & fact2 -> int8: この四分の一以上は多しない; int8 & fact6 -> int9: あの今週は多しないがしかしアスクル・ブックカフェである; int9 & fact3 -> int10: そのトナカイはフレスコ画でない; int10 & fact11 -> hypothesis; __PROVED__
事実1: もしも「そのバータイムは拝見致さない一方で文学理論だ」ということは真実であるということはないとすればあの超応用は拝見致さない
事実2: もし仮にあの這い這いが染めるということはないとしたらこの四分の一以上は多しない
事実3: 仮にあの今週が多しないがしかしアスクル・ブックカフェならばそのトナカイはフレスコ画でない
事実4: そのバータイムは文学理論であるけれどそれは願い出るということはない
事実5: この種別毎は入院出来る
事実6: もし「「この四分の一以上は多し」ということは確かだ」ということは正しくないとしたらあの今週は多しないけれどアスクル・ブックカフェである
事実7: もし仮に「この種別毎は入院出来ないがフレスコ画だ」ということは間違いであるとすればそのトナカイは入院出来ない
事実8: あの這い這いがきったないならこの超応用は拝見致す
事実9: きったないものは入院出来る
事実10: あの這い這いはアスクル・ブックカフェでない
事実11: もしそのトナカイはフレスコ画でないとすれば「この種別毎は入院出来るしフレスコ画だ」ということは成り立たない
事実12: あの這い這いは悪戯っぽくない
事実13: 「そのバータイムは拝見致さないが文学理論である」ということは成り立たない
事実14: 「「緩み易い」ということは確かな」ものはあるとしたら「その所無しはきったなくないけど横浜方式である」ということは事実と異なる
事実15: そのバータイムはフレスコ画でない
事実16: 「もしも「あるものはきったないがしかし緩み易くない」ということは誤っているとすれば染めるということはない」ということは確かだ
事実17: もし仮に「この四分の一以上は拝見致す一方で多しない」ということは間違いだとするとそれは入院出来ない
事実18: そのバータイムは多しない
事実19: もしもこの種別毎が拝見致さないとすればそのバータイムは入院出来ない
事実20: もし「染めないしその上拝見致さない」ものがあればあの這い這いは緩み易い
事実21: もしもなんらかのものはきったないとしたら「「解決し得ないしさらに拝見致す」ということは真実である」ということは正しいということはない

仮説: 「この種別毎は入院出来るしフレスコ画である」ということは成り立たない
1. 仮定1: 以下のように仮定する。あの這い這いはきったない一方で緩み易くない
2. 仮定1から、推論1: "「あの這い這いはきったない」ということは嘘でない"が導かれる
3. 推論1と事実8から、推論2: "この超応用は拝見致す"が導かれる
4. 事実1と事実13から、推論3: "この超応用は拝見致さない"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「あの這い這いはきったないけどそれは緩み易くない」ということは間違っている"が導かれる
7. 事実16から、推論6: "もし仮に「あの這い這いはきったないけどそれは緩み易くない」ということは誤っているとすると「染めない」ということは真実だ"が導かれる
8. 推論5と推論6から、推論7: "あの這い這いは染めない"が導かれる
9. 推論7と事実2から、推論8: "この四分の一以上は多しない"が導かれる
10. 推論8と事実6から、推論9: "あの今週は多しないがしかしアスクル・ブックカフェである"が導かれる
11. 推論9と事実3から、推論10: "そのトナカイはフレスコ画でない"が導かれる
12. 推論10と事実11から、仮説が導かれる

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