「もし感じ取れないとすれば「奥深くなくて加えて撮影出来ない」ということは成り立たない」物はある
fact1: もしあるものは感じ取れないとしたら「奥深くなくて撮影出来ない」ということは嘘である fact2: 「もし感じ取れないなら「奥深くないしおまけに撮影出来る」ということは誤りな」物はある fact3: もしも何かは班給額であるということはないとすると「御願い致す一方で薄利多売でない」ということは成り立たない fact4: 「もし仮にダム・河口堰事業であるとすれば「高速道路事業でなくて小便器でない」ということは成り立たない」物はある fact5: もしなにかは感じ取れるとしたら「それは奥深くないしそれに撮影出来ない」ということは成り立たない fact6: 「もし組まないなら「新設分割でなくてしかも御願い致さない」ということは嘘である」ものはある fact7: 「もしも感じ取れるとすれば「奥深くないししかも撮影出来ない」ということは成り立たない」ものはある fact8: もしもその歴訪は暴走行為でないならば「感じ取れるし移動時でない」ということは成り立たない fact9: もしその歴訪は感じ取れないとすると「奥深いけれど撮影出来るということはない」ということは成り立たない
fact1 -> int1: 仮にその歴訪は感じ取れないとしたら「それは奥深くないし更に撮影出来ない」ということは成り立つということはない; int1 -> hypothesis;
$facts$ = fact1: もしあるものは感じ取れないとしたら「奥深くなくて撮影出来ない」ということは嘘である fact2: 「もし感じ取れないなら「奥深くないしおまけに撮影出来る」ということは誤りな」物はある fact3: もしも何かは班給額であるということはないとすると「御願い致す一方で薄利多売でない」ということは成り立たない fact4: 「もし仮にダム・河口堰事業であるとすれば「高速道路事業でなくて小便器でない」ということは成り立たない」物はある fact5: もしなにかは感じ取れるとしたら「それは奥深くないしそれに撮影出来ない」ということは成り立たない fact6: 「もし組まないなら「新設分割でなくてしかも御願い致さない」ということは嘘である」ものはある fact7: 「もしも感じ取れるとすれば「奥深くないししかも撮影出来ない」ということは成り立たない」ものはある fact8: もしもその歴訪は暴走行為でないならば「感じ取れるし移動時でない」ということは成り立たない fact9: もしその歴訪は感じ取れないとすると「奥深いけれど撮影出来るということはない」ということは成り立たない ; $hypothesis$ = 「もし感じ取れないとすれば「奥深くなくて加えて撮影出来ない」ということは成り立たない」物はある ; $proof$ = 
fact1 -> int1: 仮にその歴訪は感じ取れないとしたら「それは奥深くないし更に撮影出来ない」ということは成り立つということはない; int1 -> hypothesis; __PROVED__
事実1: もしあるものは感じ取れないとしたら「奥深くなくて撮影出来ない」ということは嘘である
事実2: 「もし感じ取れないなら「奥深くないしおまけに撮影出来る」ということは誤りな」物はある
事実3: もしも何かは班給額であるということはないとすると「御願い致す一方で薄利多売でない」ということは成り立たない
事実4: 「もし仮にダム・河口堰事業であるとすれば「高速道路事業でなくて小便器でない」ということは成り立たない」物はある
事実5: もしなにかは感じ取れるとしたら「それは奥深くないしそれに撮影出来ない」ということは成り立たない
事実6: 「もし組まないなら「新設分割でなくてしかも御願い致さない」ということは嘘である」ものはある
事実7: 「もしも感じ取れるとすれば「奥深くないししかも撮影出来ない」ということは成り立たない」ものはある
事実8: もしもその歴訪は暴走行為でないならば「感じ取れるし移動時でない」ということは成り立たない
事実9: もしその歴訪は感じ取れないとすると「奥深いけれど撮影出来るということはない」ということは成り立たない

仮説: 「もし感じ取れないとすれば「奥深くなくて加えて撮影出来ない」ということは成り立たない」物はある
1. 事実1から、推論1: "仮にその歴訪は感じ取れないとしたら「それは奥深くないし更に撮影出来ない」ということは成り立つということはない"が導かれる
2. 推論1から、仮説が導かれる

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