「谷底でないなら「推進すらないしおまけに語り明かさない」ということは間違っている」ものはある
fact1: もし仮にある物は谷底でないならば「推進すらないしかつそれは語り明かす」ということは間違っている fact2: 仮に何らかのものは谷底であるとすれば「推進すらないし加えて語り明かさない」ということは成り立たない fact3: もしあるものは締め付けないとすれば「「記載法でないしおまけに骨っぽい」ということは本当である」ということは成り立たない fact4: もしあの格闘術が谷底でないとしたらそれは推進すらないしかつ語り明かさない fact5: もしもあの格闘術は谷底であるならば「推進すらないし語り明かさない」ということは成り立つということはない fact6: もしもあの格闘術が苦々しかないとすると語り明かさなくておまけに僻みっぽくない fact7: 仮になんらかのものは長々しいなら「それは半周しないしその上それは酒臭くない」ということは成り立たない fact8: ある物は谷底でないとすれば「推進すということはないししかも語り明かさない」ということは成り立たない
fact8 -> int1: 「あの格闘術は谷底でない」ということは正しいなら「それは推進すらないしそれは語り明かすということはない」ということは成り立たない; int1 -> hypothesis;
$facts$ = fact1: もし仮にある物は谷底でないならば「推進すらないしかつそれは語り明かす」ということは間違っている fact2: 仮に何らかのものは谷底であるとすれば「推進すらないし加えて語り明かさない」ということは成り立たない fact3: もしあるものは締め付けないとすれば「「記載法でないしおまけに骨っぽい」ということは本当である」ということは成り立たない fact4: もしあの格闘術が谷底でないとしたらそれは推進すらないしかつ語り明かさない fact5: もしもあの格闘術は谷底であるならば「推進すらないし語り明かさない」ということは成り立つということはない fact6: もしもあの格闘術が苦々しかないとすると語り明かさなくておまけに僻みっぽくない fact7: 仮になんらかのものは長々しいなら「それは半周しないしその上それは酒臭くない」ということは成り立たない fact8: ある物は谷底でないとすれば「推進すということはないししかも語り明かさない」ということは成り立たない ; $hypothesis$ = 「谷底でないなら「推進すらないしおまけに語り明かさない」ということは間違っている」ものはある ; $proof$ = 
fact8 -> int1: 「あの格闘術は谷底でない」ということは正しいなら「それは推進すらないしそれは語り明かすということはない」ということは成り立たない; int1 -> hypothesis; __PROVED__
事実1: もし仮にある物は谷底でないならば「推進すらないしかつそれは語り明かす」ということは間違っている
事実2: 仮に何らかのものは谷底であるとすれば「推進すらないし加えて語り明かさない」ということは成り立たない
事実3: もしあるものは締め付けないとすれば「「記載法でないしおまけに骨っぽい」ということは本当である」ということは成り立たない
事実4: もしあの格闘術が谷底でないとしたらそれは推進すらないしかつ語り明かさない
事実5: もしもあの格闘術は谷底であるならば「推進すらないし語り明かさない」ということは成り立つということはない
事実6: もしもあの格闘術が苦々しかないとすると語り明かさなくておまけに僻みっぽくない
事実7: 仮になんらかのものは長々しいなら「それは半周しないしその上それは酒臭くない」ということは成り立たない
事実8: ある物は谷底でないとすれば「推進すということはないししかも語り明かさない」ということは成り立たない

仮説: 「谷底でないなら「推進すらないしおまけに語り明かさない」ということは間違っている」ものはある
1. 事実8から、推論1: "「あの格闘術は谷底でない」ということは正しいなら「それは推進すらないしそれは語り明かすということはない」ということは成り立たない"が導かれる
2. 推論1から、仮説が導かれる

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