あの連結法人間は持ち込める
fact1: もしなんらかの物が功徳でないとしたらその四年契約は集まり易くない fact2: もし仮に「功徳でない」ものがあるとしたらその四年契約は萎縮するがしかしそれは集まり易くない fact3: もしあるものが納得だとしたら取り引き界だ fact4: もし仮に「「あの連結法人間は功徳である」ということは正しい」ということは間違っていれば事らしいがしかし持ち込めない fact5: 集まり易くないものは事らしくないが功徳だ fact6: 仮にその四年契約が萎縮するけど集まり易くないならこの鋳型は納得だ fact7: もし仮に「とあるものは入り難くないがしかしそれは行政協定だ」ということは偽ならば「持ち込める」ということは確かである fact8: もし仮にあの連結法人間は行政協定でないならば「それは持ち込める」ということは成り立つ fact9: そのコミッテッド・コストは事らしくない fact10: その四年契約は行政協定でない fact11: 「あの連結法人間は事らしくない一方で入り難い」ということは間違っている fact12: もし仮に「その四年契約は取り引き界であるかもしくは入り難い」ということは成り立たないならばあのコミッテッド・コストは納得でない fact13: もしその四年契約は行政協定でないならば「取り引き界であるか入り難いかまたはどちらもだ」ということは成り立たない fact14: 仮にこの鋳型は取り引き界であるなら「あの連結法人間は入り難くない一方で行政協定である」ということは事実と異なる fact15: そのコミッテッド・コストは事らしくないしおまけにそれは功徳であるということはない fact16: 「功徳な」ものはある fact17: 事らしくないものは学閥であるがしかし高速・軽量化しない fact18: 仮にある物が行政協定だということはないとすればそれは持ち込める
fact15 -> int1: そのコミッテッド・コストは功徳でない; int1 -> int2: なんらかのものは功徳でない; int2 & fact2 -> int3: その四年契約は萎縮するけれど集まり易くない; int3 & fact6 -> int4: この鋳型は納得である; fact3 -> int5: この鋳型が納得だとすればそれは取り引き界である; int4 & int5 -> int6: 「この鋳型は取り引き界である」ということは事実である; int6 & fact14 -> int7: 「あの連結法人間は入り難くないけど行政協定である」ということは事実と異なる; fact7 -> int8: 「「あの連結法人間は入り難くないがしかし行政協定だ」ということは成り立つ」ということは間違いであるならばそれは持ち込める; int7 & int8 -> hypothesis;
この鋳型は学閥である一方で高速・軽量化しない
fact21 -> int9: この鋳型が事らしいということはないならば学閥だがしかし高速・軽量化しない; fact20 -> int10: 仮にこの鋳型が集まり易くないとしたら事らしくないけれど功徳だ; fact23 & fact19 -> int11: 「「その四年契約は取り引き界であるかもしくは入り難いかもしくは両方ともだ」ということは正しい」ということは嘘だ; fact22 & int11 -> int12: そのコミッテッド・コストは納得でない; int12 -> int13: 「納得でない」ものはある;
$facts$ = fact1: もしなんらかの物が功徳でないとしたらその四年契約は集まり易くない fact2: もし仮に「功徳でない」ものがあるとしたらその四年契約は萎縮するがしかしそれは集まり易くない fact3: もしあるものが納得だとしたら取り引き界だ fact4: もし仮に「「あの連結法人間は功徳である」ということは正しい」ということは間違っていれば事らしいがしかし持ち込めない fact5: 集まり易くないものは事らしくないが功徳だ fact6: 仮にその四年契約が萎縮するけど集まり易くないならこの鋳型は納得だ fact7: もし仮に「とあるものは入り難くないがしかしそれは行政協定だ」ということは偽ならば「持ち込める」ということは確かである fact8: もし仮にあの連結法人間は行政協定でないならば「それは持ち込める」ということは成り立つ fact9: そのコミッテッド・コストは事らしくない fact10: その四年契約は行政協定でない fact11: 「あの連結法人間は事らしくない一方で入り難い」ということは間違っている fact12: もし仮に「その四年契約は取り引き界であるかもしくは入り難い」ということは成り立たないならばあのコミッテッド・コストは納得でない fact13: もしその四年契約は行政協定でないならば「取り引き界であるか入り難いかまたはどちらもだ」ということは成り立たない fact14: 仮にこの鋳型は取り引き界であるなら「あの連結法人間は入り難くない一方で行政協定である」ということは事実と異なる fact15: そのコミッテッド・コストは事らしくないしおまけにそれは功徳であるということはない fact16: 「功徳な」ものはある fact17: 事らしくないものは学閥であるがしかし高速・軽量化しない fact18: 仮にある物が行政協定だということはないとすればそれは持ち込める ; $hypothesis$ = あの連結法人間は持ち込める ; $proof$ = 
fact15 -> int1: そのコミッテッド・コストは功徳でない; int1 -> int2: なんらかのものは功徳でない; int2 & fact2 -> int3: その四年契約は萎縮するけれど集まり易くない; int3 & fact6 -> int4: この鋳型は納得である; fact3 -> int5: この鋳型が納得だとすればそれは取り引き界である; int4 & int5 -> int6: 「この鋳型は取り引き界である」ということは事実である; int6 & fact14 -> int7: 「あの連結法人間は入り難くないけど行政協定である」ということは事実と異なる; fact7 -> int8: 「「あの連結法人間は入り難くないがしかし行政協定だ」ということは成り立つ」ということは間違いであるならばそれは持ち込める; int7 & int8 -> hypothesis; __PROVED__
事実1: もしなんらかの物が功徳でないとしたらその四年契約は集まり易くない
事実2: もし仮に「功徳でない」ものがあるとしたらその四年契約は萎縮するがしかしそれは集まり易くない
事実3: もしあるものが納得だとしたら取り引き界だ
事実4: もし仮に「「あの連結法人間は功徳である」ということは正しい」ということは間違っていれば事らしいがしかし持ち込めない
事実5: 集まり易くないものは事らしくないが功徳だ
事実6: 仮にその四年契約が萎縮するけど集まり易くないならこの鋳型は納得だ
事実7: もし仮に「とあるものは入り難くないがしかしそれは行政協定だ」ということは偽ならば「持ち込める」ということは確かである
事実8: もし仮にあの連結法人間は行政協定でないならば「それは持ち込める」ということは成り立つ
事実9: そのコミッテッド・コストは事らしくない
事実10: その四年契約は行政協定でない
事実11: 「あの連結法人間は事らしくない一方で入り難い」ということは間違っている
事実12: もし仮に「その四年契約は取り引き界であるかもしくは入り難い」ということは成り立たないならばあのコミッテッド・コストは納得でない
事実13: もしその四年契約は行政協定でないならば「取り引き界であるか入り難いかまたはどちらもだ」ということは成り立たない
事実14: 仮にこの鋳型は取り引き界であるなら「あの連結法人間は入り難くない一方で行政協定である」ということは事実と異なる
事実15: そのコミッテッド・コストは事らしくないしおまけにそれは功徳であるということはない
事実16: 「功徳な」ものはある
事実17: 事らしくないものは学閥であるがしかし高速・軽量化しない
事実18: 仮にある物が行政協定だということはないとすればそれは持ち込める

仮説: あの連結法人間は持ち込める
1. 事実15から、推論1: "そのコミッテッド・コストは功徳でない"が導かれる
2. 推論1から、推論2: "なんらかのものは功徳でない"が導かれる
3. 推論2と事実2から、推論3: "その四年契約は萎縮するけれど集まり易くない"が導かれる
4. 推論3と事実6から、推論4: "この鋳型は納得である"が導かれる
5. 事実3から、推論5: "この鋳型が納得だとすればそれは取り引き界である"が導かれる
6. 推論4と推論5から、推論6: "「この鋳型は取り引き界である」ということは事実である"が導かれる
7. 推論6と事実14から、推論7: "「あの連結法人間は入り難くないけど行政協定である」ということは事実と異なる"が導かれる
8. 事実7から、推論8: "「「あの連結法人間は入り難くないがしかし行政協定だ」ということは成り立つ」ということは間違いであるならばそれは持ち込める"が導かれる
9. 推論7と推論8から、仮説が導かれる

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