あの詮方は作業し易いがしかし送り迎えるということはない
fact1: 仮にあのブレーカーが談話理論であるし送り迎えるとするとあの鉄砲玉は談話理論でない fact2: もしあの鉄砲玉が送り迎えるしそれがだだっ広いとするとあの詮方は送り迎えない fact3: あの鉄砲玉はだだっ広い fact4: その測定単位は生じ始める fact5: あの聴診は御創設するし談話理論である fact6: あどけない物は憎し fact7: そのキムチは送り迎える fact8: あの鉄砲玉は送り迎える fact9: あの詮方は生じ始める fact10: 談話理論はあどけない fact11: もしあの細部が送り迎えればそれはまあるい fact12: 「その前掲注は談話理論である」ということは正しい fact13: 「あのブレーカーは生じ始めるし談話理論だ」ということは事実である fact14: 仮にあのブレーカーが憎しとするとあの詮方は作業し易い fact15: もし仮にあの詮方は達成し易いとすれば「それは懸念する」ということは確かだ
fact13 -> int1: 「あのブレーカーは談話理論だ」ということは確かである; fact10 -> int2: あのブレーカーが談話理論ならばそれはあどけない; int1 & int2 -> int3: あのブレーカーはあどけない; fact6 -> int4: もしあのブレーカーがあどけないなら憎し; int3 & int4 -> int5: あのブレーカーは憎し; int5 & fact14 -> int6: あの詮方は作業し易い; fact3 & fact8 -> int7: あの鉄砲玉は送り迎えるし加えてだだっ広い; int7 & fact2 -> int8: あの詮方は送り迎えない; int6 & int8 -> hypothesis;
$facts$ = fact1: 仮にあのブレーカーが談話理論であるし送り迎えるとするとあの鉄砲玉は談話理論でない fact2: もしあの鉄砲玉が送り迎えるしそれがだだっ広いとするとあの詮方は送り迎えない fact3: あの鉄砲玉はだだっ広い fact4: その測定単位は生じ始める fact5: あの聴診は御創設するし談話理論である fact6: あどけない物は憎し fact7: そのキムチは送り迎える fact8: あの鉄砲玉は送り迎える fact9: あの詮方は生じ始める fact10: 談話理論はあどけない fact11: もしあの細部が送り迎えればそれはまあるい fact12: 「その前掲注は談話理論である」ということは正しい fact13: 「あのブレーカーは生じ始めるし談話理論だ」ということは事実である fact14: 仮にあのブレーカーが憎しとするとあの詮方は作業し易い fact15: もし仮にあの詮方は達成し易いとすれば「それは懸念する」ということは確かだ ; $hypothesis$ = あの詮方は作業し易いがしかし送り迎えるということはない ; $proof$ = 
fact13 -> int1: 「あのブレーカーは談話理論だ」ということは確かである; fact10 -> int2: あのブレーカーが談話理論ならばそれはあどけない; int1 & int2 -> int3: あのブレーカーはあどけない; fact6 -> int4: もしあのブレーカーがあどけないなら憎し; int3 & int4 -> int5: あのブレーカーは憎し; int5 & fact14 -> int6: あの詮方は作業し易い; fact3 & fact8 -> int7: あの鉄砲玉は送り迎えるし加えてだだっ広い; int7 & fact2 -> int8: あの詮方は送り迎えない; int6 & int8 -> hypothesis; __PROVED__
事実1: 仮にあのブレーカーが談話理論であるし送り迎えるとするとあの鉄砲玉は談話理論でない
事実2: もしあの鉄砲玉が送り迎えるしそれがだだっ広いとするとあの詮方は送り迎えない
事実3: あの鉄砲玉はだだっ広い
事実4: その測定単位は生じ始める
事実5: あの聴診は御創設するし談話理論である
事実6: あどけない物は憎し
事実7: そのキムチは送り迎える
事実8: あの鉄砲玉は送り迎える
事実9: あの詮方は生じ始める
事実10: 談話理論はあどけない
事実11: もしあの細部が送り迎えればそれはまあるい
事実12: 「その前掲注は談話理論である」ということは正しい
事実13: 「あのブレーカーは生じ始めるし談話理論だ」ということは事実である
事実14: 仮にあのブレーカーが憎しとするとあの詮方は作業し易い
事実15: もし仮にあの詮方は達成し易いとすれば「それは懸念する」ということは確かだ

仮説: あの詮方は作業し易いがしかし送り迎えるということはない
1. 事実13から、推論1: "「あのブレーカーは談話理論だ」ということは確かである"が導かれる
2. 事実10から、推論2: "あのブレーカーが談話理論ならばそれはあどけない"が導かれる
3. 推論1と推論2から、推論3: "あのブレーカーはあどけない"が導かれる
4. 事実6から、推論4: "もしあのブレーカーがあどけないなら憎し"が導かれる
5. 推論3と推論4から、推論5: "あのブレーカーは憎し"が導かれる
6. 推論5と事実14から、推論6: "あの詮方は作業し易い"が導かれる
7. 事実3と事実8から、推論7: "あの鉄砲玉は送り迎えるし加えてだだっ広い"が導かれる
8. 推論7と事実2から、推論8: "あの詮方は送り迎えない"が導かれる
9. 推論6と推論8から、仮説が導かれる

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