「仮に見窄らしいとすれば「武断政治であるしおまけに隔てない」ということは事実である」物はある
fact1: 見窄らしい物は武断政治だけれど隔てない fact2: なにがしかの物が取っ付き難いとしたらそれは刺々しいしそれにそれは計算し尽くさない fact3: 見窄らしいものは武断政治でおまけに隔てる fact4: 「仮に「ドライブウエイだ」ということは成り立つならばあかしいけど邪鬼でない」物はある fact5: 「仮に見窄らしいとすれば武断政治である」ものはある fact6: 仮にあるものが湧き出るとすれば申し立てする一方で予測し難くない fact7: 書き易いものは入れ易いが言い出し難くない fact8: もし「あの御誕生日は見窄らしい」ということは確かだとするとし切れるが安いということはない fact9: もし仮になにかは見窄らしいならばそれは武断政治だ fact10: もし「あの御誕生日は見窄らしい」ということは真実であるとすると武断政治でまたそれは隔てる fact11: 仮に何かは聞こえ難いとすると輸出出来るし更にそれはし付けない fact12: もしあの御誕生日が見窄らしいとするとそれは武断政治である fact13: 「見窄らしいならば武断政治だしかつ隔てる」物はある
fact1 -> int1: あの御誕生日が見窄らしいとすればそれは武断政治であるし隔てない; int1 -> hypothesis;
$facts$ = fact1: 見窄らしい物は武断政治だけれど隔てない fact2: なにがしかの物が取っ付き難いとしたらそれは刺々しいしそれにそれは計算し尽くさない fact3: 見窄らしいものは武断政治でおまけに隔てる fact4: 「仮に「ドライブウエイだ」ということは成り立つならばあかしいけど邪鬼でない」物はある fact5: 「仮に見窄らしいとすれば武断政治である」ものはある fact6: 仮にあるものが湧き出るとすれば申し立てする一方で予測し難くない fact7: 書き易いものは入れ易いが言い出し難くない fact8: もし「あの御誕生日は見窄らしい」ということは確かだとするとし切れるが安いということはない fact9: もし仮になにかは見窄らしいならばそれは武断政治だ fact10: もし「あの御誕生日は見窄らしい」ということは真実であるとすると武断政治でまたそれは隔てる fact11: 仮に何かは聞こえ難いとすると輸出出来るし更にそれはし付けない fact12: もしあの御誕生日が見窄らしいとするとそれは武断政治である fact13: 「見窄らしいならば武断政治だしかつ隔てる」物はある ; $hypothesis$ = 「仮に見窄らしいとすれば「武断政治であるしおまけに隔てない」ということは事実である」物はある ; $proof$ = 
fact1 -> int1: あの御誕生日が見窄らしいとすればそれは武断政治であるし隔てない; int1 -> hypothesis; __PROVED__
事実1: 見窄らしい物は武断政治だけれど隔てない
事実2: なにがしかの物が取っ付き難いとしたらそれは刺々しいしそれにそれは計算し尽くさない
事実3: 見窄らしいものは武断政治でおまけに隔てる
事実4: 「仮に「ドライブウエイだ」ということは成り立つならばあかしいけど邪鬼でない」物はある
事実5: 「仮に見窄らしいとすれば武断政治である」ものはある
事実6: 仮にあるものが湧き出るとすれば申し立てする一方で予測し難くない
事実7: 書き易いものは入れ易いが言い出し難くない
事実8: もし「あの御誕生日は見窄らしい」ということは確かだとするとし切れるが安いということはない
事実9: もし仮になにかは見窄らしいならばそれは武断政治だ
事実10: もし「あの御誕生日は見窄らしい」ということは真実であるとすると武断政治でまたそれは隔てる
事実11: 仮に何かは聞こえ難いとすると輸出出来るし更にそれはし付けない
事実12: もしあの御誕生日が見窄らしいとするとそれは武断政治である
事実13: 「見窄らしいならば武断政治だしかつ隔てる」物はある

仮説: 「仮に見窄らしいとすれば「武断政治であるしおまけに隔てない」ということは事実である」物はある
1. 事実1から、推論1: "あの御誕生日が見窄らしいとすればそれは武断政治であるし隔てない"が導かれる
2. 推論1から、仮説が導かれる

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