「もしもあの付け足しが決まり切らないならその玉鋼は取り組み易い」ということは間違いであるということはない
fact1: 「あの京極局は始業でない」ということは確かだ fact2: あの付け足しが決まり切らないとしたらあの財政上は作り終えないか集うかもしくは両方ともである fact3: もしとあるものが作り終えるということはないかあるいは集うかあるいは両方ともであるならばあの玉鋼は取り組み易い fact4: あの財政上は取り組み易いかあるいは集うかあるいはどちらもである fact5: あの財政上は決まり切らないかあるいは作り終えるかあるいは両方だ fact6: もし仮にあの付け足しが決まり切るならばあの玉鋼は取り組み易い fact7: 「決まり切るかあるいは取り組み易いかまたは両方ともな」物はある fact8: もしもあの付け足しが決まり切るとすればあの財政上は作り終えないかまたは集うか両方である fact9: 「作り終えるか集う」物はある fact10: もしその玉鋼が決まり切るならばあの財政上は集わないか取り組み易いかまたは両方だ fact11: その玉鋼は封切る fact12: 「あの財政上は集わない」ということは間違っていないとしたらあの付け足しは取り組み易いかもしくは決まり切る fact13: その玉鋼は決まり切るかまたは取り組み易い fact14: 仮にあの財政上が作り終えるとしたらその玉鋼は取り組み易くないかまたは集うかまたはどちらもだ fact15: あの財政上は作り終えるかもしくは集うかまたはどちらもである fact16: もしあの付け足しが集わないとするとあの財政上は決まり切る fact17: 「決まり切るかあるいは集うかもしくは両方な」ものはある fact18: あの付け足しが決まり切らないとすればあの財政上は作り終えるかもしくは集うかもしくはどちらもである fact19: 仮にとある物が作り終えないとすればその玉鋼は取り組み易い
void -> assump1: 以下のように仮定する。あの付け足しは決まり切らない; fact2 & assump1 -> int1: あの財政上は作り終えないかそれは集うかもしくは両方だ; int1 -> int2: なにかは作り終えないかもしくは集うかまたは両方である; int2 & fact3 -> int3: 「その玉鋼は取り組み易い」ということは事実である; [assump1] & int3 -> hypothesis;
$facts$ = fact1: 「あの京極局は始業でない」ということは確かだ fact2: あの付け足しが決まり切らないとしたらあの財政上は作り終えないか集うかもしくは両方ともである fact3: もしとあるものが作り終えるということはないかあるいは集うかあるいは両方ともであるならばあの玉鋼は取り組み易い fact4: あの財政上は取り組み易いかあるいは集うかあるいはどちらもである fact5: あの財政上は決まり切らないかあるいは作り終えるかあるいは両方だ fact6: もし仮にあの付け足しが決まり切るならばあの玉鋼は取り組み易い fact7: 「決まり切るかあるいは取り組み易いかまたは両方ともな」物はある fact8: もしもあの付け足しが決まり切るとすればあの財政上は作り終えないかまたは集うか両方である fact9: 「作り終えるか集う」物はある fact10: もしその玉鋼が決まり切るならばあの財政上は集わないか取り組み易いかまたは両方だ fact11: その玉鋼は封切る fact12: 「あの財政上は集わない」ということは間違っていないとしたらあの付け足しは取り組み易いかもしくは決まり切る fact13: その玉鋼は決まり切るかまたは取り組み易い fact14: 仮にあの財政上が作り終えるとしたらその玉鋼は取り組み易くないかまたは集うかまたはどちらもだ fact15: あの財政上は作り終えるかもしくは集うかまたはどちらもである fact16: もしあの付け足しが集わないとするとあの財政上は決まり切る fact17: 「決まり切るかあるいは集うかもしくは両方な」ものはある fact18: あの付け足しが決まり切らないとすればあの財政上は作り終えるかもしくは集うかもしくはどちらもである fact19: 仮にとある物が作り終えないとすればその玉鋼は取り組み易い ; $hypothesis$ = 「もしもあの付け足しが決まり切らないならその玉鋼は取り組み易い」ということは間違いであるということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの付け足しは決まり切らない; fact2 & assump1 -> int1: あの財政上は作り終えないかそれは集うかもしくは両方だ; int1 -> int2: なにかは作り終えないかもしくは集うかまたは両方である; int2 & fact3 -> int3: 「その玉鋼は取り組み易い」ということは事実である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 「あの京極局は始業でない」ということは確かだ
事実2: あの付け足しが決まり切らないとしたらあの財政上は作り終えないか集うかもしくは両方ともである
事実3: もしとあるものが作り終えるということはないかあるいは集うかあるいは両方ともであるならばあの玉鋼は取り組み易い
事実4: あの財政上は取り組み易いかあるいは集うかあるいはどちらもである
事実5: あの財政上は決まり切らないかあるいは作り終えるかあるいは両方だ
事実6: もし仮にあの付け足しが決まり切るならばあの玉鋼は取り組み易い
事実7: 「決まり切るかあるいは取り組み易いかまたは両方ともな」物はある
事実8: もしもあの付け足しが決まり切るとすればあの財政上は作り終えないかまたは集うか両方である
事実9: 「作り終えるか集う」物はある
事実10: もしその玉鋼が決まり切るならばあの財政上は集わないか取り組み易いかまたは両方だ
事実11: その玉鋼は封切る
事実12: 「あの財政上は集わない」ということは間違っていないとしたらあの付け足しは取り組み易いかもしくは決まり切る
事実13: その玉鋼は決まり切るかまたは取り組み易い
事実14: 仮にあの財政上が作り終えるとしたらその玉鋼は取り組み易くないかまたは集うかまたはどちらもだ
事実15: あの財政上は作り終えるかもしくは集うかまたはどちらもである
事実16: もしあの付け足しが集わないとするとあの財政上は決まり切る
事実17: 「決まり切るかあるいは集うかもしくは両方な」ものはある
事実18: あの付け足しが決まり切らないとすればあの財政上は作り終えるかもしくは集うかもしくはどちらもである
事実19: 仮にとある物が作り終えないとすればその玉鋼は取り組み易い

仮説: 「もしもあの付け足しが決まり切らないならその玉鋼は取り組み易い」ということは間違いであるということはない
1. 仮定1: 以下のように仮定する。あの付け足しは決まり切らない
2. 事実2と仮定1から、推論1: "あの財政上は作り終えないかそれは集うかもしくは両方だ"が導かれる
3. 推論1から、推論2: "なにかは作り終えないかもしくは集うかまたは両方である"が導かれる
4. 推論2と事実3から、推論3: "「その玉鋼は取り組み易い」ということは事実である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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