その人事労務管理機能は各機関だ
fact1: なにがしかのものは限りでなくて加えてヒロインでないならば各機関でない fact2: その人事労務管理機能は判別し難い fact3: 「印刷プレビュー画面でないがしかし輸出指向工業化である」ものはある fact4: あるものはヒロインだとすると「印刷プレビュー画面でないけれど輸出指向工業化である」ということは間違いだ fact5: 仮にこの骨身がヒロインでないならその人事労務管理機能は秀でるということはない fact6: そのテレフォンカードは図太いけど秀でない fact7: もし仮になにがしかの物が秀でないとすれば各機関である fact8: もし仮に「あの右室は眩い」ということは成り立てばそれは限りであるかもしくはそれは図太くないかまたは両方ともだ fact9: 「輸出指向工業化であるということはない」物があるとしたらあの右室は限りであるということはない fact10: あの右室は眩い fact11: 仮に「「「印刷プレビュー画面でないがしかし輸出指向工業化である」ということは真実だ」ということは成り立たない」ものがあるならばあの右室は限りでない fact12: 仮になんらかの物は限りであるかもしくは図太くないかあるいは両方ともだとすれば限りである fact13: もしあの右室が眩くないとすれば各機関だ
fact4 -> int1: もしこの骨身はヒロインなら「印刷プレビュー画面でないしさらに輸出指向工業化だ」ということは成り立たない; void -> assump1: 以下のように仮定する。この骨身はヒロインだ; int1 & assump1 -> int2: 「この骨身は印刷プレビュー画面であるということはないがしかし輸出指向工業化だ」ということは事実と異なる; int2 -> int3: 「「印刷プレビュー画面でないが輸出指向工業化である」ということは確かでない」物はある; int3 & fact11 -> int4: あの右室は限りでない; fact8 & fact10 -> int5: あの右室は限りであるかあるいは図太くない; fact12 -> int6: もしあの右室が限りであるかそれは図太くないなら「限りである」ということは正しい; int5 & int6 -> int7: あの右室は限りだ; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: この骨身はヒロインでない; int9 & fact5 -> int10: その人事労務管理機能は秀でない; fact7 -> int11: もしもその人事労務管理機能は秀でないとするとそれは各機関だ; int10 & int11 -> hypothesis;
「その人事労務管理機能は各機関でない」ということは成り立つ
fact14 -> int12: もしその人事労務管理機能は限りでないしそれにヒロインでないならそれは各機関でない; fact15 -> int13: 「図太いしさらに秀でない」ものはある;
$facts$ = fact1: なにがしかのものは限りでなくて加えてヒロインでないならば各機関でない fact2: その人事労務管理機能は判別し難い fact3: 「印刷プレビュー画面でないがしかし輸出指向工業化である」ものはある fact4: あるものはヒロインだとすると「印刷プレビュー画面でないけれど輸出指向工業化である」ということは間違いだ fact5: 仮にこの骨身がヒロインでないならその人事労務管理機能は秀でるということはない fact6: そのテレフォンカードは図太いけど秀でない fact7: もし仮になにがしかの物が秀でないとすれば各機関である fact8: もし仮に「あの右室は眩い」ということは成り立てばそれは限りであるかもしくはそれは図太くないかまたは両方ともだ fact9: 「輸出指向工業化であるということはない」物があるとしたらあの右室は限りであるということはない fact10: あの右室は眩い fact11: 仮に「「「印刷プレビュー画面でないがしかし輸出指向工業化である」ということは真実だ」ということは成り立たない」ものがあるならばあの右室は限りでない fact12: 仮になんらかの物は限りであるかもしくは図太くないかあるいは両方ともだとすれば限りである fact13: もしあの右室が眩くないとすれば各機関だ ; $hypothesis$ = その人事労務管理機能は各機関だ ; $proof$ = 
fact4 -> int1: もしこの骨身はヒロインなら「印刷プレビュー画面でないしさらに輸出指向工業化だ」ということは成り立たない; void -> assump1: 以下のように仮定する。この骨身はヒロインだ; int1 & assump1 -> int2: 「この骨身は印刷プレビュー画面であるということはないがしかし輸出指向工業化だ」ということは事実と異なる; int2 -> int3: 「「印刷プレビュー画面でないが輸出指向工業化である」ということは確かでない」物はある; int3 & fact11 -> int4: あの右室は限りでない; fact8 & fact10 -> int5: あの右室は限りであるかあるいは図太くない; fact12 -> int6: もしあの右室が限りであるかそれは図太くないなら「限りである」ということは正しい; int5 & int6 -> int7: あの右室は限りだ; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: この骨身はヒロインでない; int9 & fact5 -> int10: その人事労務管理機能は秀でない; fact7 -> int11: もしもその人事労務管理機能は秀でないとするとそれは各機関だ; int10 & int11 -> hypothesis; __PROVED__
事実1: なにがしかのものは限りでなくて加えてヒロインでないならば各機関でない
事実2: その人事労務管理機能は判別し難い
事実3: 「印刷プレビュー画面でないがしかし輸出指向工業化である」ものはある
事実4: あるものはヒロインだとすると「印刷プレビュー画面でないけれど輸出指向工業化である」ということは間違いだ
事実5: 仮にこの骨身がヒロインでないならその人事労務管理機能は秀でるということはない
事実6: そのテレフォンカードは図太いけど秀でない
事実7: もし仮になにがしかの物が秀でないとすれば各機関である
事実8: もし仮に「あの右室は眩い」ということは成り立てばそれは限りであるかもしくはそれは図太くないかまたは両方ともだ
事実9: 「輸出指向工業化であるということはない」物があるとしたらあの右室は限りであるということはない
事実10: あの右室は眩い
事実11: 仮に「「「印刷プレビュー画面でないがしかし輸出指向工業化である」ということは真実だ」ということは成り立たない」ものがあるならばあの右室は限りでない
事実12: 仮になんらかの物は限りであるかもしくは図太くないかあるいは両方ともだとすれば限りである
事実13: もしあの右室が眩くないとすれば各機関だ

仮説: その人事労務管理機能は各機関だ
1. 事実4から、推論1: "もしこの骨身はヒロインなら「印刷プレビュー画面でないしさらに輸出指向工業化だ」ということは成り立たない"が導かれる
2. 仮定1: 以下のように仮定する。この骨身はヒロインだ
3. 推論1と仮定1から、推論2: "「この骨身は印刷プレビュー画面であるということはないがしかし輸出指向工業化だ」ということは事実と異なる"が導かれる
4. 推論2から、推論3: "「「印刷プレビュー画面でないが輸出指向工業化である」ということは確かでない」物はある"が導かれる
5. 推論3と事実11から、推論4: "あの右室は限りでない"が導かれる
6. 事実8と事実10から、推論5: "あの右室は限りであるかあるいは図太くない"が導かれる
7. 事実12から、推論6: "もしあの右室が限りであるかそれは図太くないなら「限りである」ということは正しい"が導かれる
8. 推論5と推論6から、推論7: "あの右室は限りだ"が導かれる
9. 推論4と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "この骨身はヒロインでない"が導かれる
11. 推論9と事実5から、推論10: "その人事労務管理機能は秀でない"が導かれる
12. 事実7から、推論11: "もしもその人事労務管理機能は秀でないとするとそれは各機関だ"が導かれる
13. 推論10と推論11から、仮説が導かれる

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