このＶＩＮは赤しない
fact1: 「このＶＩＮは在住しない」ということは成り立つ fact2: 第一近似は赤し fact3: もしその確率微分方程式が主張内容でないとすれば新規参入しない fact4: もしもそのスターリングが主張内容でないならばあの確率微分方程式は田舎っぽくないしくそ鎮でない fact5: そのア氏が新規参入しないかもしくはそれが揺すということはないかまたはどちらもだとすればあの礼儀有りは新規参入する fact6: そのア氏は迅速化しない fact7: その確率微分方程式は迅速化する fact8: 仮にそのア氏がださいか迅速化するということはないなら隣接しない fact9: 「「そのスターリングは在住するが隣接するということはない」ということは間違いである」ということは本当であるなら「その確率微分方程式は在住するということはない」ということは本当だ fact10: もしなにかは隣接しないとすれば新規参入するということはないかあるいはそれは揺すない fact11: その確率微分方程式が新規参入しないとすればそのスターリングは在住する fact12: あの礼儀有りは迅速化するけれど田舎っぽくない fact13: もし仮にあの礼儀有りは迅速化する一方で田舎っぽくないとすると「その確率微分方程式は田舎っぽい」ということは事実である fact14: その確率微分方程式は第一近似だし更にくそ鎮である fact15: くそ鎮が田舎っぽいとすれば主張内容でない fact16: あの礼儀有りが新規参入するならばあのスターリングは新規参入する fact17: もしもなにがしかの物が在住するか隣接するか両方ともだとすればあのＶＩＮは赤しない fact18: その確率微分方程式がくそ鎮であるということはないとすればその精読は田舎っぽくない一方で第一近似である
fact14 -> int1: その確率微分方程式はくそ鎮である; fact13 & fact12 -> int2: その確率微分方程式は田舎っぽい; int1 & int2 -> int3: その確率微分方程式はくそ鎮だしさらに田舎っぽい; fact15 -> int4: もしその確率微分方程式がくそ鎮だしその上田舎っぽいとしたらそれは主張内容だということはない; int3 & int4 -> int5: その確率微分方程式は主張内容でない; int5 & fact3 -> int6: その確率微分方程式は新規参入するということはない; int6 & fact11 -> int7: そのスターリングは在住する; int7 -> int8: そのスターリングは在住するかあるいは隣接するかもしくは両方ともだ; int8 -> int9: 「在住するかもしくは隣接するかもしくは両方である」物はある; int9 & fact17 -> hypothesis;
このＶＩＮは赤し
fact23 -> int10: もしも「このＶＩＮは第一近似だ」ということは正しいならそれは赤し; fact25 -> int11: もしもそのア氏が隣接するということはないならばそれは新規参入しないかあるいは揺すないかもしくは両方ともだ; fact24 -> int12: そのア氏はださいかまたは迅速化しないかまたはどちらもだ; fact22 & int12 -> int13: 「そのア氏は隣接しない」ということは確かである; int11 & int13 -> int14: そのア氏は新規参入しないかそれは揺すない; fact21 & int14 -> int15: あの礼儀有りは新規参入する; fact19 & int15 -> int16: 「そのスターリングは新規参入する」ということは間違っているということはない; int16 -> int17: そのスターリングは在住するかもしくは新規参入するかあるいはどちらもだ;
$facts$ = fact1: 「このＶＩＮは在住しない」ということは成り立つ fact2: 第一近似は赤し fact3: もしその確率微分方程式が主張内容でないとすれば新規参入しない fact4: もしもそのスターリングが主張内容でないならばあの確率微分方程式は田舎っぽくないしくそ鎮でない fact5: そのア氏が新規参入しないかもしくはそれが揺すということはないかまたはどちらもだとすればあの礼儀有りは新規参入する fact6: そのア氏は迅速化しない fact7: その確率微分方程式は迅速化する fact8: 仮にそのア氏がださいか迅速化するということはないなら隣接しない fact9: 「「そのスターリングは在住するが隣接するということはない」ということは間違いである」ということは本当であるなら「その確率微分方程式は在住するということはない」ということは本当だ fact10: もしなにかは隣接しないとすれば新規参入するということはないかあるいはそれは揺すない fact11: その確率微分方程式が新規参入しないとすればそのスターリングは在住する fact12: あの礼儀有りは迅速化するけれど田舎っぽくない fact13: もし仮にあの礼儀有りは迅速化する一方で田舎っぽくないとすると「その確率微分方程式は田舎っぽい」ということは事実である fact14: その確率微分方程式は第一近似だし更にくそ鎮である fact15: くそ鎮が田舎っぽいとすれば主張内容でない fact16: あの礼儀有りが新規参入するならばあのスターリングは新規参入する fact17: もしもなにがしかの物が在住するか隣接するか両方ともだとすればあのＶＩＮは赤しない fact18: その確率微分方程式がくそ鎮であるということはないとすればその精読は田舎っぽくない一方で第一近似である ; $hypothesis$ = このＶＩＮは赤しない ; $proof$ = 
fact14 -> int1: その確率微分方程式はくそ鎮である; fact13 & fact12 -> int2: その確率微分方程式は田舎っぽい; int1 & int2 -> int3: その確率微分方程式はくそ鎮だしさらに田舎っぽい; fact15 -> int4: もしその確率微分方程式がくそ鎮だしその上田舎っぽいとしたらそれは主張内容だということはない; int3 & int4 -> int5: その確率微分方程式は主張内容でない; int5 & fact3 -> int6: その確率微分方程式は新規参入するということはない; int6 & fact11 -> int7: そのスターリングは在住する; int7 -> int8: そのスターリングは在住するかあるいは隣接するかもしくは両方ともだ; int8 -> int9: 「在住するかもしくは隣接するかもしくは両方である」物はある; int9 & fact17 -> hypothesis; __PROVED__
事実1: 「このＶＩＮは在住しない」ということは成り立つ
事実2: 第一近似は赤し
事実3: もしその確率微分方程式が主張内容でないとすれば新規参入しない
事実4: もしもそのスターリングが主張内容でないならばあの確率微分方程式は田舎っぽくないしくそ鎮でない
事実5: そのア氏が新規参入しないかもしくはそれが揺すということはないかまたはどちらもだとすればあの礼儀有りは新規参入する
事実6: そのア氏は迅速化しない
事実7: その確率微分方程式は迅速化する
事実8: 仮にそのア氏がださいか迅速化するということはないなら隣接しない
事実9: 「「そのスターリングは在住するが隣接するということはない」ということは間違いである」ということは本当であるなら「その確率微分方程式は在住するということはない」ということは本当だ
事実10: もしなにかは隣接しないとすれば新規参入するということはないかあるいはそれは揺すない
事実11: その確率微分方程式が新規参入しないとすればそのスターリングは在住する
事実12: あの礼儀有りは迅速化するけれど田舎っぽくない
事実13: もし仮にあの礼儀有りは迅速化する一方で田舎っぽくないとすると「その確率微分方程式は田舎っぽい」ということは事実である
事実14: その確率微分方程式は第一近似だし更にくそ鎮である
事実15: くそ鎮が田舎っぽいとすれば主張内容でない
事実16: あの礼儀有りが新規参入するならばあのスターリングは新規参入する
事実17: もしもなにがしかの物が在住するか隣接するか両方ともだとすればあのＶＩＮは赤しない
事実18: その確率微分方程式がくそ鎮であるということはないとすればその精読は田舎っぽくない一方で第一近似である

仮説: このＶＩＮは赤しない
1. 事実14から、推論1: "その確率微分方程式はくそ鎮である"が導かれる
2. 事実13と事実12から、推論2: "その確率微分方程式は田舎っぽい"が導かれる
3. 推論1と推論2から、推論3: "その確率微分方程式はくそ鎮だしさらに田舎っぽい"が導かれる
4. 事実15から、推論4: "もしその確率微分方程式がくそ鎮だしその上田舎っぽいとしたらそれは主張内容だということはない"が導かれる
5. 推論3と推論4から、推論5: "その確率微分方程式は主張内容でない"が導かれる
6. 推論5と事実3から、推論6: "その確率微分方程式は新規参入するということはない"が導かれる
7. 推論6と事実11から、推論7: "そのスターリングは在住する"が導かれる
8. 推論7から、推論8: "そのスターリングは在住するかあるいは隣接するかもしくは両方ともだ"が導かれる
9. 推論8から、推論9: "「在住するかもしくは隣接するかもしくは両方である」物はある"が導かれる
10. 推論9と事実17から、仮説が導かれる

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