「あの各支店は切望する」ということは正しい
fact1: もしその実験技術が定量化出来ないとするとあの清元はしぶといかまたはプロセス主義でない fact2: すべては定量化出来ないしかつそれは力強いということはない fact3: もし何かはプロセス主義だということはないならばそれは極まり悪いし更に運転し易い fact4: 仮にその高速船が極まり悪くないとしたらあの清元は運転し易くないが極まり悪い fact5: もし仮に「その高速船は切望するということはないがしかししぶとい」ということは間違いであるとしたらあの各支店は切望しない fact6: もし仮に何らかの物はしぶといかもしくはプロセス主義でないとすれば運転し易い fact7: もし仮にあの各支店は切望しないならば「それは事であるし更にあざとい」ということは成り立たない fact8: もしも「あの各支店は事だしあざとい」ということは誤っているとするとその高速船は極まり悪くない fact9: 仮に「とある物は定量化出来ないしさらに力強くない」ということは間違っているとしたらそれはプロセス主義だということはない fact10: もしもあの清元は極まり悪いとしたら「その高速船は切望しない一方でしぶとい」ということは本当でない fact11: その実験技術は力強くない
void -> assump1: 以下のように仮定する。あの各支店は切望しない; fact7 & assump1 -> int1: 「あの各支店は事であるしそれはあざとい」ということは確かでない; int1 & fact8 -> int2: 「その高速船は極まり悪くない」ということは嘘でない; int2 & fact4 -> int3: あの清元は運転し易くないけれどそれは極まり悪い; int3 -> int4: あの清元は運転し易くない; fact6 -> int5: もしあの清元はしぶといかもしくはプロセス主義でないとしたら運転し易い; fact2 -> int6: その実験技術は定量化出来なくてまた力強くない; int6 -> int7: その実験技術は定量化出来ない; int7 & fact1 -> int8: あの清元はしぶといかあるいはプロセス主義でない; int5 & int8 -> int9: あの清元は運転し易い; int4 & int9 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis;
「あの各支店は切望するということはない」ということは事実だ
fact13 -> int11: もし仮にあの清元はプロセス主義でないならば極まり悪くて更に運転し易い; fact14 -> int12: もし仮に「あの清元は定量化出来なくてそれに力強くない」ということは誤りであるならばそれはプロセス主義でない;
$facts$ = fact1: もしその実験技術が定量化出来ないとするとあの清元はしぶといかまたはプロセス主義でない fact2: すべては定量化出来ないしかつそれは力強いということはない fact3: もし何かはプロセス主義だということはないならばそれは極まり悪いし更に運転し易い fact4: 仮にその高速船が極まり悪くないとしたらあの清元は運転し易くないが極まり悪い fact5: もし仮に「その高速船は切望するということはないがしかししぶとい」ということは間違いであるとしたらあの各支店は切望しない fact6: もし仮に何らかの物はしぶといかもしくはプロセス主義でないとすれば運転し易い fact7: もし仮にあの各支店は切望しないならば「それは事であるし更にあざとい」ということは成り立たない fact8: もしも「あの各支店は事だしあざとい」ということは誤っているとするとその高速船は極まり悪くない fact9: 仮に「とある物は定量化出来ないしさらに力強くない」ということは間違っているとしたらそれはプロセス主義だということはない fact10: もしもあの清元は極まり悪いとしたら「その高速船は切望しない一方でしぶとい」ということは本当でない fact11: その実験技術は力強くない ; $hypothesis$ = 「あの各支店は切望する」ということは正しい ; $proof$ = 
void -> assump1: 以下のように仮定する。あの各支店は切望しない; fact7 & assump1 -> int1: 「あの各支店は事であるしそれはあざとい」ということは確かでない; int1 & fact8 -> int2: 「その高速船は極まり悪くない」ということは嘘でない; int2 & fact4 -> int3: あの清元は運転し易くないけれどそれは極まり悪い; int3 -> int4: あの清元は運転し易くない; fact6 -> int5: もしあの清元はしぶといかもしくはプロセス主義でないとしたら運転し易い; fact2 -> int6: その実験技術は定量化出来なくてまた力強くない; int6 -> int7: その実験技術は定量化出来ない; int7 & fact1 -> int8: あの清元はしぶといかあるいはプロセス主義でない; int5 & int8 -> int9: あの清元は運転し易い; int4 & int9 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis; __PROVED__
事実1: もしその実験技術が定量化出来ないとするとあの清元はしぶといかまたはプロセス主義でない
事実2: すべては定量化出来ないしかつそれは力強いということはない
事実3: もし何かはプロセス主義だということはないならばそれは極まり悪いし更に運転し易い
事実4: 仮にその高速船が極まり悪くないとしたらあの清元は運転し易くないが極まり悪い
事実5: もし仮に「その高速船は切望するということはないがしかししぶとい」ということは間違いであるとしたらあの各支店は切望しない
事実6: もし仮に何らかの物はしぶといかもしくはプロセス主義でないとすれば運転し易い
事実7: もし仮にあの各支店は切望しないならば「それは事であるし更にあざとい」ということは成り立たない
事実8: もしも「あの各支店は事だしあざとい」ということは誤っているとするとその高速船は極まり悪くない
事実9: 仮に「とある物は定量化出来ないしさらに力強くない」ということは間違っているとしたらそれはプロセス主義だということはない
事実10: もしもあの清元は極まり悪いとしたら「その高速船は切望しない一方でしぶとい」ということは本当でない
事実11: その実験技術は力強くない

仮説: 「あの各支店は切望する」ということは正しい
1. 仮定1: 以下のように仮定する。あの各支店は切望しない
2. 事実7と仮定1から、推論1: "「あの各支店は事であるしそれはあざとい」ということは確かでない"が導かれる
3. 推論1と事実8から、推論2: "「その高速船は極まり悪くない」ということは嘘でない"が導かれる
4. 推論2と事実4から、推論3: "あの清元は運転し易くないけれどそれは極まり悪い"が導かれる
5. 推論3から、推論4: "あの清元は運転し易くない"が導かれる
6. 事実6から、推論5: "もしあの清元はしぶといかもしくはプロセス主義でないとしたら運転し易い"が導かれる
7. 事実2から、推論6: "その実験技術は定量化出来なくてまた力強くない"が導かれる
8. 推論6から、推論7: "その実験技術は定量化出来ない"が導かれる
9. 推論7と事実1から、推論8: "あの清元はしぶといかあるいはプロセス主義でない"が導かれる
10. 推論5と推論8から、推論9: "あの清元は運転し易い"が導かれる
11. 推論4と推論9から、推論10: "これは矛盾である"が導かれる
12. [仮定1]と推論10から、仮説が導かれる

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