その数量記号は雇用契約でない
fact1: なんらかのものは市場志向研究でないとしたら「それは有限個でしかもそれは過ごし易くない」ということは成り立たない fact2: 仮にあの知的障害者更生施設が深くないとすればこの途上は選挙しない fact3: もしその数量記号が頻度・予後でなくてそれが癒し難くないなら教授する fact4: もしも「何かは人形浄瑠璃でその上それはカロリーベースである」ということは嘘ならば市場志向研究でない fact5: 仮に「「脱出で許し難し」ということは誤っている」物があるとするとあの知的障害者更生施設は深くない fact6: もし仮にこの途上は選挙するということはないなら「この日本円は人形浄瑠璃でかつそれはカロリーベースだ」ということは嘘だ fact7: なにがしかの物は高分子核体でないならば「レストアしないしかつ継承・発展する」ということは誤っている fact8: 仮に「ある物は有限個である一方で過ごし易くない」ということは間違っているならそれは高分子核体でない fact9: その数量記号は頻度・予後でない fact10: そのブリーダーは小立方体でないとしたら「この国立劇場は雇用契約でないけれど教授する」ということは間違っている fact11: 「何かは教授しないかあるいは雇用契約である」ということは間違っているとすると過ごし易くない fact12: この国立劇場は小立方体だ fact13: もし仮にあるものはレストアするとすると「それは教授しないかまたは雇用契約であるか両方である」ということは成り立たない fact14: もし仮にこの日本円が小立方体でないならばあのブリーダーは小立方体でない fact15: 仮にその数量記号が小立方体だしさらにそれが頻度・予後であるならこの国立劇場は教授するということはない fact16: もし仮にその数量記号が教授するしその上それが雇用契約であるとしたらこの国立劇場は小立方体であるということはない fact17: 「その数量記号は頻度・予後でなくて癒し難くない」ということは本当である fact18: 「あの高周波焼き入れは脱出であるしそれに許し難し」ということは誤っている fact19: もし仮にその数量記号は頻度・予後だがしかし癒し難くないならばそれは教授する fact20: もし「とあるものはレストアしないが継承・発展する」ということは間違いであるとすると小立方体でない
fact3 & fact17 -> int1: その数量記号は教授する; void -> assump1: 以下のように仮定する。その数量記号は雇用契約だ; int1 & assump1 -> int2: その数量記号は教授するし雇用契約だ; int2 & fact16 -> int3: この国立劇場は小立方体でない; int3 & fact12 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis;
その数量記号は雇用契約だ
fact27 -> int5: 仮に「この日本円はレストアするということはないけれど継承・発展する」ということは嘘だとしたらそれは小立方体でない; fact28 -> int6: 仮にこの日本円は高分子核体でないとすれば「レストアしないし継承・発展する」ということは成り立たない; fact21 -> int7: もし「この日本円は有限個だがしかし過ごし易くない」ということは事実と異なるなら高分子核体でない; fact31 -> int8: 仮にこの日本円は市場志向研究でないとしたら「有限個だけれど過ごし易いということはない」ということは誤っている; fact26 -> int9: もし「この日本円は人形浄瑠璃であるしまたそれはカロリーベースである」ということは間違いであるとすると市場志向研究でない; fact24 -> int10: 「「脱出だしそれに許し難し」ということは正しくない」物はある; int10 & fact29 -> int11: あの知的障害者更生施設は深くない; fact22 & int11 -> int12: この途上は選挙しない; fact23 & int12 -> int13: 「この日本円は人形浄瑠璃であるししかもカロリーベースだ」ということは成り立たない; int9 & int13 -> int14: この日本円は市場志向研究であるということはない; int8 & int14 -> int15: 「この日本円は有限個である一方でそれは過ごし易くない」ということは成り立つということはない; int7 & int15 -> int16: この日本円は高分子核体でない; int6 & int16 -> int17: 「「この日本円はレストアしない一方で継承・発展する」ということは間違いだ」ということは成り立つ; int5 & int17 -> int18: この日本円は小立方体でない; fact25 & int18 -> int19: 「そのブリーダーは小立方体でない」ということは成り立つ; fact30 & int19 -> int20: 「「この国立劇場は雇用契約でないがしかし教授する」ということは真実である」ということは偽だ; int20 -> int21: 「「雇用契約だということはなくて教授する」ということは誤りな」ものはある;
$facts$ = fact1: なんらかのものは市場志向研究でないとしたら「それは有限個でしかもそれは過ごし易くない」ということは成り立たない fact2: 仮にあの知的障害者更生施設が深くないとすればこの途上は選挙しない fact3: もしその数量記号が頻度・予後でなくてそれが癒し難くないなら教授する fact4: もしも「何かは人形浄瑠璃でその上それはカロリーベースである」ということは嘘ならば市場志向研究でない fact5: 仮に「「脱出で許し難し」ということは誤っている」物があるとするとあの知的障害者更生施設は深くない fact6: もし仮にこの途上は選挙するということはないなら「この日本円は人形浄瑠璃でかつそれはカロリーベースだ」ということは嘘だ fact7: なにがしかの物は高分子核体でないならば「レストアしないしかつ継承・発展する」ということは誤っている fact8: 仮に「ある物は有限個である一方で過ごし易くない」ということは間違っているならそれは高分子核体でない fact9: その数量記号は頻度・予後でない fact10: そのブリーダーは小立方体でないとしたら「この国立劇場は雇用契約でないけれど教授する」ということは間違っている fact11: 「何かは教授しないかあるいは雇用契約である」ということは間違っているとすると過ごし易くない fact12: この国立劇場は小立方体だ fact13: もし仮にあるものはレストアするとすると「それは教授しないかまたは雇用契約であるか両方である」ということは成り立たない fact14: もし仮にこの日本円が小立方体でないならばあのブリーダーは小立方体でない fact15: 仮にその数量記号が小立方体だしさらにそれが頻度・予後であるならこの国立劇場は教授するということはない fact16: もし仮にその数量記号が教授するしその上それが雇用契約であるとしたらこの国立劇場は小立方体であるということはない fact17: 「その数量記号は頻度・予後でなくて癒し難くない」ということは本当である fact18: 「あの高周波焼き入れは脱出であるしそれに許し難し」ということは誤っている fact19: もし仮にその数量記号は頻度・予後だがしかし癒し難くないならばそれは教授する fact20: もし「とあるものはレストアしないが継承・発展する」ということは間違いであるとすると小立方体でない ; $hypothesis$ = その数量記号は雇用契約でない ; $proof$ = 
fact3 & fact17 -> int1: その数量記号は教授する; void -> assump1: 以下のように仮定する。その数量記号は雇用契約だ; int1 & assump1 -> int2: その数量記号は教授するし雇用契約だ; int2 & fact16 -> int3: この国立劇場は小立方体でない; int3 & fact12 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis; __PROVED__
事実1: なんらかのものは市場志向研究でないとしたら「それは有限個でしかもそれは過ごし易くない」ということは成り立たない
事実2: 仮にあの知的障害者更生施設が深くないとすればこの途上は選挙しない
事実3: もしその数量記号が頻度・予後でなくてそれが癒し難くないなら教授する
事実4: もしも「何かは人形浄瑠璃でその上それはカロリーベースである」ということは嘘ならば市場志向研究でない
事実5: 仮に「「脱出で許し難し」ということは誤っている」物があるとするとあの知的障害者更生施設は深くない
事実6: もし仮にこの途上は選挙するということはないなら「この日本円は人形浄瑠璃でかつそれはカロリーベースだ」ということは嘘だ
事実7: なにがしかの物は高分子核体でないならば「レストアしないしかつ継承・発展する」ということは誤っている
事実8: 仮に「ある物は有限個である一方で過ごし易くない」ということは間違っているならそれは高分子核体でない
事実9: その数量記号は頻度・予後でない
事実10: そのブリーダーは小立方体でないとしたら「この国立劇場は雇用契約でないけれど教授する」ということは間違っている
事実11: 「何かは教授しないかあるいは雇用契約である」ということは間違っているとすると過ごし易くない
事実12: この国立劇場は小立方体だ
事実13: もし仮にあるものはレストアするとすると「それは教授しないかまたは雇用契約であるか両方である」ということは成り立たない
事実14: もし仮にこの日本円が小立方体でないならばあのブリーダーは小立方体でない
事実15: 仮にその数量記号が小立方体だしさらにそれが頻度・予後であるならこの国立劇場は教授するということはない
事実16: もし仮にその数量記号が教授するしその上それが雇用契約であるとしたらこの国立劇場は小立方体であるということはない
事実17: 「その数量記号は頻度・予後でなくて癒し難くない」ということは本当である
事実18: 「あの高周波焼き入れは脱出であるしそれに許し難し」ということは誤っている
事実19: もし仮にその数量記号は頻度・予後だがしかし癒し難くないならばそれは教授する
事実20: もし「とあるものはレストアしないが継承・発展する」ということは間違いであるとすると小立方体でない

仮説: その数量記号は雇用契約でない
1. 事実3と事実17から、推論1: "その数量記号は教授する"が導かれる
2. 仮定1: 以下のように仮定する。その数量記号は雇用契約だ
3. 推論1と仮定1から、推論2: "その数量記号は教授するし雇用契約だ"が導かれる
4. 推論2と事実16から、推論3: "この国立劇場は小立方体でない"が導かれる
5. 推論3と事実12から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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