その基本要件は先送りだ
fact1: 「天使らしい一方で組織間関係であるということはない」物があるとするとその自説は歩き難い fact2: 歩き難いか錆無い物は組織間関係でない fact3: もしも組織間関係が故無くないならその基本要件は天使らしい fact4: 仮にその自説が故無いということはないとすればこの生産調整は歩き難くない fact5: もしも「何かは錆無くて百年後だ」ということは事実と異なれば先送りでない fact6: その元軍人は百年後だ fact7: 仮にその自説が組織間関係でないとするとこの生産調整は組織間関係であるが故無くない fact8: 「もし「その基本要件は天使らしい」ということは誤っていないとすればその基本要件は先送りである」ということは本当だ fact9: 仮にその元軍人が百年後ならばその自説は錆無い fact10: 仮に「ある物は天使らしくないけど歩き難い」ということは事実と異なるとするとそれは歩き難くない fact11: この生産調整は故無くない fact12: もしその元軍人は歩き難くないなら「その基本要件は錆無いしそれは百年後だ」ということは誤りだ
fact9 & fact6 -> int1: その自説は錆無い; int1 -> int2: その自説は歩き難いかあるいは錆無いかまたは両方ともだ; fact2 -> int3: その自説は歩き難いかもしくは錆無いかもしくはどちらもであるとすれば「それは組織間関係でない」ということは確かだ; int2 & int3 -> int4: その自説は組織間関係でない; int4 & fact7 -> int5: この生産調整は組織間関係だ一方で故無くない; int5 -> int6: 「組織間関係だがしかし故無くない」ものはある; int6 & fact3 -> int7: その基本要件は天使らしい; int7 & fact8 -> hypothesis;
その基本要件は先送りでない
fact15 -> int8: もしも「その基本要件が錆無いしその上それは百年後である」ということは嘘であるとすれば先送りでない; fact13 -> int9: 「その元軍人は天使らしくない一方でそれは歩き難い」ということは嘘であるとしたらそれは歩き難くない;
$facts$ = fact1: 「天使らしい一方で組織間関係であるということはない」物があるとするとその自説は歩き難い fact2: 歩き難いか錆無い物は組織間関係でない fact3: もしも組織間関係が故無くないならその基本要件は天使らしい fact4: 仮にその自説が故無いということはないとすればこの生産調整は歩き難くない fact5: もしも「何かは錆無くて百年後だ」ということは事実と異なれば先送りでない fact6: その元軍人は百年後だ fact7: 仮にその自説が組織間関係でないとするとこの生産調整は組織間関係であるが故無くない fact8: 「もし「その基本要件は天使らしい」ということは誤っていないとすればその基本要件は先送りである」ということは本当だ fact9: 仮にその元軍人が百年後ならばその自説は錆無い fact10: 仮に「ある物は天使らしくないけど歩き難い」ということは事実と異なるとするとそれは歩き難くない fact11: この生産調整は故無くない fact12: もしその元軍人は歩き難くないなら「その基本要件は錆無いしそれは百年後だ」ということは誤りだ ; $hypothesis$ = その基本要件は先送りだ ; $proof$ = 
fact9 & fact6 -> int1: その自説は錆無い; int1 -> int2: その自説は歩き難いかあるいは錆無いかまたは両方ともだ; fact2 -> int3: その自説は歩き難いかもしくは錆無いかもしくはどちらもであるとすれば「それは組織間関係でない」ということは確かだ; int2 & int3 -> int4: その自説は組織間関係でない; int4 & fact7 -> int5: この生産調整は組織間関係だ一方で故無くない; int5 -> int6: 「組織間関係だがしかし故無くない」ものはある; int6 & fact3 -> int7: その基本要件は天使らしい; int7 & fact8 -> hypothesis; __PROVED__
事実1: 「天使らしい一方で組織間関係であるということはない」物があるとするとその自説は歩き難い
事実2: 歩き難いか錆無い物は組織間関係でない
事実3: もしも組織間関係が故無くないならその基本要件は天使らしい
事実4: 仮にその自説が故無いということはないとすればこの生産調整は歩き難くない
事実5: もしも「何かは錆無くて百年後だ」ということは事実と異なれば先送りでない
事実6: その元軍人は百年後だ
事実7: 仮にその自説が組織間関係でないとするとこの生産調整は組織間関係であるが故無くない
事実8: 「もし「その基本要件は天使らしい」ということは誤っていないとすればその基本要件は先送りである」ということは本当だ
事実9: 仮にその元軍人が百年後ならばその自説は錆無い
事実10: 仮に「ある物は天使らしくないけど歩き難い」ということは事実と異なるとするとそれは歩き難くない
事実11: この生産調整は故無くない
事実12: もしその元軍人は歩き難くないなら「その基本要件は錆無いしそれは百年後だ」ということは誤りだ

仮説: その基本要件は先送りだ
1. 事実9と事実6から、推論1: "その自説は錆無い"が導かれる
2. 推論1から、推論2: "その自説は歩き難いかあるいは錆無いかまたは両方ともだ"が導かれる
3. 事実2から、推論3: "その自説は歩き難いかもしくは錆無いかもしくはどちらもであるとすれば「それは組織間関係でない」ということは確かだ"が導かれる
4. 推論2と推論3から、推論4: "その自説は組織間関係でない"が導かれる
5. 推論4と事実7から、推論5: "この生産調整は組織間関係だ一方で故無くない"が導かれる
6. 推論5から、推論6: "「組織間関係だがしかし故無くない」ものはある"が導かれる
7. 推論6と事実3から、推論7: "その基本要件は天使らしい"が導かれる
8. 推論7と事実8から、仮説が導かれる

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