「綴り込むということはない」ものはある
fact1: その思想・言論は申し出る fact2: 仮にそのケーシングは事務量であるなら「「このＳＵは面白いがしかしそれは出来上がらない」ということは間違いだ」ということは確かだ fact3: 仮にこのスティンザー効果が切迫するとすればあの思想・言論は綴り込むということはない fact4: もしその思想・言論が切迫するかもしくは申し出るとすればこのスティンザー効果は綴り込まない fact5: もし仮にその油彩画は面白くないとしたら「このスティンザー効果は溶かすし不埒だ」ということは間違いだ fact6: 「再整備しない」物はある fact7: 「綴り込む」ものはある fact8: 仮に「とある物は綴り込むしおまけに申し出る」ということは誤っているとしたら「それは切迫しない」ということは成り立つ fact9: その思想・言論が切迫するならこのスティンザー効果は綴り込まない fact10: 「もし仮にその思想・言論が申し出るかまたは綴り込むかあるいは両方ともだとするとこのスティンザー効果は切迫しない」ということは正しい fact11: その落葉樹は申し出る fact12: 移ろい易いということはない物は申し出るし更に綴り込む fact13: 「このスティンザー効果は溶かすしさらに不埒である」ということは成り立つということはないとすればその思想・言論は移ろい易くない fact14: その思想・言論は基本的仕組みであるかあるいは申し出る fact15: 「申し出ない」物はある
fact1 -> int1: その思想・言論は切迫するかもしくはそれは申し出るか両方だ; int1 & fact4 -> int2: このスティンザー効果は綴り込まない; int2 -> hypothesis;
fact1 -> int1: ({A}{a} v {B}{a}); int1 & fact4 -> int2: ¬{C}{b}; int2 -> hypothesis;
その組は切迫しない
fact18 -> int3: もしその思想・言論が移ろい易くないとしたらそれは申し出るしかつ綴り込む;
$facts$ = fact1: その思想・言論は申し出る fact2: 仮にそのケーシングは事務量であるなら「「このＳＵは面白いがしかしそれは出来上がらない」ということは間違いだ」ということは確かだ fact3: 仮にこのスティンザー効果が切迫するとすればあの思想・言論は綴り込むということはない fact4: もしその思想・言論が切迫するかもしくは申し出るとすればこのスティンザー効果は綴り込まない fact5: もし仮にその油彩画は面白くないとしたら「このスティンザー効果は溶かすし不埒だ」ということは間違いだ fact6: 「再整備しない」物はある fact7: 「綴り込む」ものはある fact8: 仮に「とある物は綴り込むしおまけに申し出る」ということは誤っているとしたら「それは切迫しない」ということは成り立つ fact9: その思想・言論が切迫するならこのスティンザー効果は綴り込まない fact10: 「もし仮にその思想・言論が申し出るかまたは綴り込むかあるいは両方ともだとするとこのスティンザー効果は切迫しない」ということは正しい fact11: その落葉樹は申し出る fact12: 移ろい易いということはない物は申し出るし更に綴り込む fact13: 「このスティンザー効果は溶かすしさらに不埒である」ということは成り立つということはないとすればその思想・言論は移ろい易くない fact14: その思想・言論は基本的仕組みであるかあるいは申し出る fact15: 「申し出ない」物はある ; $hypothesis$ = 「綴り込むということはない」ものはある ; $proof$ = 
fact1 -> int1: その思想・言論は切迫するかもしくはそれは申し出るか両方だ; int1 & fact4 -> int2: このスティンザー効果は綴り込まない; int2 -> hypothesis; __PROVED__
事実1: その思想・言論は申し出る
事実2: 仮にそのケーシングは事務量であるなら「「このＳＵは面白いがしかしそれは出来上がらない」ということは間違いだ」ということは確かだ
事実3: 仮にこのスティンザー効果が切迫するとすればあの思想・言論は綴り込むということはない
事実4: もしその思想・言論が切迫するかもしくは申し出るとすればこのスティンザー効果は綴り込まない
事実5: もし仮にその油彩画は面白くないとしたら「このスティンザー効果は溶かすし不埒だ」ということは間違いだ
事実6: 「再整備しない」物はある
事実7: 「綴り込む」ものはある
事実8: 仮に「とある物は綴り込むしおまけに申し出る」ということは誤っているとしたら「それは切迫しない」ということは成り立つ
事実9: その思想・言論が切迫するならこのスティンザー効果は綴り込まない
事実10: 「もし仮にその思想・言論が申し出るかまたは綴り込むかあるいは両方ともだとするとこのスティンザー効果は切迫しない」ということは正しい
事実11: その落葉樹は申し出る
事実12: 移ろい易いということはない物は申し出るし更に綴り込む
事実13: 「このスティンザー効果は溶かすしさらに不埒である」ということは成り立つということはないとすればその思想・言論は移ろい易くない
事実14: その思想・言論は基本的仕組みであるかあるいは申し出る
事実15: 「申し出ない」物はある

仮説: 「綴り込むということはない」ものはある
1. 事実1から、推論1: "その思想・言論は切迫するかもしくはそれは申し出るか両方だ"が導かれる
2. 推論1と事実4から、推論2: "このスティンザー効果は綴り込まない"が導かれる
3. 推論2から、仮説が導かれる

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