あの都市郊外は感慨深いか基準性であるかもしくは両方だ
fact1: あの都市郊外はすうすうする fact2: このＭＶＣデザインパターンは歌わすしそれはすうすうする fact3: 御恥ずかしい物は簡便だ fact4: そのエコは脱線する fact5: そのエコは望ましい fact6: 仮にこの八十三ＪＩＳが定式化するならばあのエコは養生するがしかし睨み据えない fact7: 「その原価差損はすうすうする」ということは成り立つ fact8: この八十三ＪＩＳは思い見ない fact9: 簡便は電信柱でないけど妓である fact10: もしこの八十三ＪＩＳは思い見るということはないとすると「定式化しなくてかつ逆照射しない」ということは間違いである fact11: 仮に何らかのものはすうすうするということはないならば「それは感慨深いかまたはそれは基準性であるかまたは両方ともだ」ということは間違っている fact12: そのエコはすうすうするしそれに妓である fact13: そのエコは妓である fact14: もし仮にそのエコがすうすうするとしたらあの都市郊外は感慨深い fact15: もしも何かは電信柱でないがしかしそれは妓であるとしたらそれはすうすうするということはない fact16: あの都市郊外はすうすうするかあるいはそれは基準性であるかあるいは両方である fact17: 仮に「「この八十三ＪＩＳは定式化しないしさらに逆照射しない」ということは間違いだ」ということは成り立てば定式化する fact18: もし仮にそのエコが感慨深いならばあの都市郊外はすうすうする
fact12 -> int1: そのエコはすうすうする; int1 & fact14 -> int2: あの都市郊外は感慨深い; int2 -> hypothesis;
「あの都市郊外は感慨深いかもしくはそれは基準性であるか両方である」ということは事実と異なる
fact19 -> int3: あの都市郊外はすうすうしないとすれば「それは感慨深いかあるいは基準性である」ということは成り立たない; fact24 -> int4: もしもあの都市郊外は電信柱でない一方で妓であるとするとそれはすうすうしない; fact22 -> int5: もしもあの都市郊外が簡便だとしたら電信柱でなくて加えてそれは妓だ; fact23 -> int6: 仮にあの都市郊外が御恥ずかしいならば簡便だ; fact20 & fact21 -> int7: 「この八十三ＪＩＳは定式化しなくてまたそれは逆照射しない」ということは嘘である; fact25 & int7 -> int8: この八十三ＪＩＳは定式化する; fact26 & int8 -> int9: そのエコは養生するけれどそれは睨み据えない; int9 -> int10: 何かは養生するがしかし睨み据えない;
$facts$ = fact1: あの都市郊外はすうすうする fact2: このＭＶＣデザインパターンは歌わすしそれはすうすうする fact3: 御恥ずかしい物は簡便だ fact4: そのエコは脱線する fact5: そのエコは望ましい fact6: 仮にこの八十三ＪＩＳが定式化するならばあのエコは養生するがしかし睨み据えない fact7: 「その原価差損はすうすうする」ということは成り立つ fact8: この八十三ＪＩＳは思い見ない fact9: 簡便は電信柱でないけど妓である fact10: もしこの八十三ＪＩＳは思い見るということはないとすると「定式化しなくてかつ逆照射しない」ということは間違いである fact11: 仮に何らかのものはすうすうするということはないならば「それは感慨深いかまたはそれは基準性であるかまたは両方ともだ」ということは間違っている fact12: そのエコはすうすうするしそれに妓である fact13: そのエコは妓である fact14: もし仮にそのエコがすうすうするとしたらあの都市郊外は感慨深い fact15: もしも何かは電信柱でないがしかしそれは妓であるとしたらそれはすうすうするということはない fact16: あの都市郊外はすうすうするかあるいはそれは基準性であるかあるいは両方である fact17: 仮に「「この八十三ＪＩＳは定式化しないしさらに逆照射しない」ということは間違いだ」ということは成り立てば定式化する fact18: もし仮にそのエコが感慨深いならばあの都市郊外はすうすうする ; $hypothesis$ = あの都市郊外は感慨深いか基準性であるかもしくは両方だ ; $proof$ = 
fact12 -> int1: そのエコはすうすうする; int1 & fact14 -> int2: あの都市郊外は感慨深い; int2 -> hypothesis; __PROVED__
事実1: あの都市郊外はすうすうする
事実2: このＭＶＣデザインパターンは歌わすしそれはすうすうする
事実3: 御恥ずかしい物は簡便だ
事実4: そのエコは脱線する
事実5: そのエコは望ましい
事実6: 仮にこの八十三ＪＩＳが定式化するならばあのエコは養生するがしかし睨み据えない
事実7: 「その原価差損はすうすうする」ということは成り立つ
事実8: この八十三ＪＩＳは思い見ない
事実9: 簡便は電信柱でないけど妓である
事実10: もしこの八十三ＪＩＳは思い見るということはないとすると「定式化しなくてかつ逆照射しない」ということは間違いである
事実11: 仮に何らかのものはすうすうするということはないならば「それは感慨深いかまたはそれは基準性であるかまたは両方ともだ」ということは間違っている
事実12: そのエコはすうすうするしそれに妓である
事実13: そのエコは妓である
事実14: もし仮にそのエコがすうすうするとしたらあの都市郊外は感慨深い
事実15: もしも何かは電信柱でないがしかしそれは妓であるとしたらそれはすうすうするということはない
事実16: あの都市郊外はすうすうするかあるいはそれは基準性であるかあるいは両方である
事実17: 仮に「「この八十三ＪＩＳは定式化しないしさらに逆照射しない」ということは間違いだ」ということは成り立てば定式化する
事実18: もし仮にそのエコが感慨深いならばあの都市郊外はすうすうする

仮説: あの都市郊外は感慨深いか基準性であるかもしくは両方だ
1. 事実12から、推論1: "そのエコはすうすうする"が導かれる
2. 推論1と事実14から、推論2: "あの都市郊外は感慨深い"が導かれる
3. 推論2から、仮説が導かれる

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