「経由するししかも推察致すとすれば動かし難くない」物はある
fact1: もし何らかの物が調剤するしおまけに御話し頂ければそれは反応語数でない fact2: もし仮にあるものが経由するし加えて推察致せば動かし難くない fact3: 仮に「あの検定は経由するし更に推察致す」ということは成り立つとすると「動かし難い」ということは真実である
fact2 -> int1: 仮にあの検定は経由するしそれに推察致すならそれは動かし難くない; int1 -> hypothesis;
仮にあのハルーミ・チーズは調剤するし御話し頂けるならそれは反応語数でない
fact4 -> hypothesis;
$facts$ = fact1: もし何らかの物が調剤するしおまけに御話し頂ければそれは反応語数でない fact2: もし仮にあるものが経由するし加えて推察致せば動かし難くない fact3: 仮に「あの検定は経由するし更に推察致す」ということは成り立つとすると「動かし難い」ということは真実である ; $hypothesis$ = 「経由するししかも推察致すとすれば動かし難くない」物はある ; $proof$ = 
fact2 -> int1: 仮にあの検定は経由するしそれに推察致すならそれは動かし難くない; int1 -> hypothesis; __PROVED__
事実1: もし何らかの物が調剤するしおまけに御話し頂ければそれは反応語数でない
事実2: もし仮にあるものが経由するし加えて推察致せば動かし難くない
事実3: 仮に「あの検定は経由するし更に推察致す」ということは成り立つとすると「動かし難い」ということは真実である

仮説: 「経由するししかも推察致すとすれば動かし難くない」物はある
1. 事実2から、推論1: "仮にあの検定は経由するしそれに推察致すならそれは動かし難くない"が導かれる
2. 推論1から、仮説が導かれる

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