あの旗手は少なし
fact1: 「その設定済みは少なし」ということは確かだ fact2: もし仮に「その設定済みは確保するし研究プログラムだ」ということは成り立たないとしたらあの旗手は少なしということはない fact3: その水飴は確保する fact4: 何らかのものは確保するかまたはそれは少なしかあるいは両方である fact5: その設定済みは研究プログラムであるかまたはそれは少なし fact6: あの旗手は入れ替える fact7: その設定済みは確保する fact8: もしもなにがしかの物が研究プログラムであるかあるいはそれがでっかいとすればその設定済みは手堅い fact9: その設定済みは確保するかあるいは少なし fact10: もしもなにがしかのものは研究プログラムであるかもしくは確保するとすれば「あの旗手は少なし」ということは成り立つ fact11: その設定済みは私らしい fact12: もし仮に就学率が維持発展しないならば依り頼まない fact13: 就学率は研究プログラムでなくてしかも依り頼まない fact14: 教育資金は就学率であるがしかし維持発展しない fact15: もし仮に「研究プログラムである」ものがあるならあの旗手は少なし fact16: 仮に「確保するかあるいは研究プログラムであるかもしくはどちらもである」物があればその設定済みは少なし fact17: あの形振りは統率下である fact18: 「少なしかまたは確保するか両方な」ものはある fact19: なにがしかの物は依り頼まないなら「確保するし研究プログラムである」ということは嘘である fact20: その設定済みは少なしかもしくは確保する fact21: もし「何らかの物は少なしないしまた確保しない」ということは誤りであるならそれは少なし fact22: 仮に何らかのものが研究プログラムであるかまたは確保するとすればその設定済みは少なし fact23: その中小企業融資編は検証する
fact7 -> int1: その設定済みは研究プログラムであるかまたはそれは確保する; int1 -> int2: なにかは研究プログラムであるかまたは確保するかまたはどちらもだ; int2 & fact10 -> hypothesis;
fact7 -> int1: ({A}{a} v {B}{a}); int1 -> int2: (Ex): ({A}x v {B}x); int2 & fact10 -> hypothesis;
あの旗手は少なしない
fact26 -> int3: もしもその設定済みは依り頼まないとすれば「それは確保するし研究プログラムである」ということは事実でない; fact24 -> int4: 仮にその設定済みが就学率だけど維持発展しないとするとそれは依り頼まない; fact27 -> int5: もしもその設定済みが教育資金だとすると就学率であるしさらに維持発展しない;
$facts$ = fact1: 「その設定済みは少なし」ということは確かだ fact2: もし仮に「その設定済みは確保するし研究プログラムだ」ということは成り立たないとしたらあの旗手は少なしということはない fact3: その水飴は確保する fact4: 何らかのものは確保するかまたはそれは少なしかあるいは両方である fact5: その設定済みは研究プログラムであるかまたはそれは少なし fact6: あの旗手は入れ替える fact7: その設定済みは確保する fact8: もしもなにがしかの物が研究プログラムであるかあるいはそれがでっかいとすればその設定済みは手堅い fact9: その設定済みは確保するかあるいは少なし fact10: もしもなにがしかのものは研究プログラムであるかもしくは確保するとすれば「あの旗手は少なし」ということは成り立つ fact11: その設定済みは私らしい fact12: もし仮に就学率が維持発展しないならば依り頼まない fact13: 就学率は研究プログラムでなくてしかも依り頼まない fact14: 教育資金は就学率であるがしかし維持発展しない fact15: もし仮に「研究プログラムである」ものがあるならあの旗手は少なし fact16: 仮に「確保するかあるいは研究プログラムであるかもしくはどちらもである」物があればその設定済みは少なし fact17: あの形振りは統率下である fact18: 「少なしかまたは確保するか両方な」ものはある fact19: なにがしかの物は依り頼まないなら「確保するし研究プログラムである」ということは嘘である fact20: その設定済みは少なしかもしくは確保する fact21: もし「何らかの物は少なしないしまた確保しない」ということは誤りであるならそれは少なし fact22: 仮に何らかのものが研究プログラムであるかまたは確保するとすればその設定済みは少なし fact23: その中小企業融資編は検証する ; $hypothesis$ = あの旗手は少なし ; $proof$ = 
fact7 -> int1: その設定済みは研究プログラムであるかまたはそれは確保する; int1 -> int2: なにかは研究プログラムであるかまたは確保するかまたはどちらもだ; int2 & fact10 -> hypothesis; __PROVED__
事実1: 「その設定済みは少なし」ということは確かだ
事実2: もし仮に「その設定済みは確保するし研究プログラムだ」ということは成り立たないとしたらあの旗手は少なしということはない
事実3: その水飴は確保する
事実4: 何らかのものは確保するかまたはそれは少なしかあるいは両方である
事実5: その設定済みは研究プログラムであるかまたはそれは少なし
事実6: あの旗手は入れ替える
事実7: その設定済みは確保する
事実8: もしもなにがしかの物が研究プログラムであるかあるいはそれがでっかいとすればその設定済みは手堅い
事実9: その設定済みは確保するかあるいは少なし
事実10: もしもなにがしかのものは研究プログラムであるかもしくは確保するとすれば「あの旗手は少なし」ということは成り立つ
事実11: その設定済みは私らしい
事実12: もし仮に就学率が維持発展しないならば依り頼まない
事実13: 就学率は研究プログラムでなくてしかも依り頼まない
事実14: 教育資金は就学率であるがしかし維持発展しない
事実15: もし仮に「研究プログラムである」ものがあるならあの旗手は少なし
事実16: 仮に「確保するかあるいは研究プログラムであるかもしくはどちらもである」物があればその設定済みは少なし
事実17: あの形振りは統率下である
事実18: 「少なしかまたは確保するか両方な」ものはある
事実19: なにがしかの物は依り頼まないなら「確保するし研究プログラムである」ということは嘘である
事実20: その設定済みは少なしかもしくは確保する
事実21: もし「何らかの物は少なしないしまた確保しない」ということは誤りであるならそれは少なし
事実22: 仮に何らかのものが研究プログラムであるかまたは確保するとすればその設定済みは少なし
事実23: その中小企業融資編は検証する

仮説: あの旗手は少なし
1. 事実7から、推論1: "その設定済みは研究プログラムであるかまたはそれは確保する"が導かれる
2. 推論1から、推論2: "なにかは研究プログラムであるかまたは確保するかまたはどちらもだ"が導かれる
3. 推論2と事実10から、仮説が導かれる

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