その圧力鍋は傷付け易い
fact1: あの赤字補填がダブルピストン型ならばその圧力鍋は傷付け易い fact2: もしもこのゴルフ界がリージョンハンドルだしそれが待ち伏せるとしたらこの物流コストはエンジン始動でない fact3: もしもなにがしかのものはリージョンハンドルでないしさらにエンジン始動でないならそれは傷付け易くない fact4: このゴルフ界は待ち伏せないとすれば「あの赤字補填はダブルピストン型だ」ということは成り立つ fact5: 仮にこの物流コストはリージョンハンドルであるし更にエンジン始動であるとすると「このゴルフ界は待ち伏せるということはない」ということは成り立つ fact6: この物流コストはエンジン始動だ fact7: この物流コストはリージョンハンドルである fact8: このゴルフ界は傷付け易い
fact7 & fact6 -> int1: この物流コストはリージョンハンドルであるしエンジン始動である; int1 & fact5 -> int2: このゴルフ界は待ち伏せない; int2 & fact4 -> int3: あの赤字補填はダブルピストン型だ; int3 & fact1 -> hypothesis;
その圧力鍋は傷付け易いということはない
fact9 -> int4: もしその圧力鍋はリージョンハンドルであるということはないし加えてエンジン始動でないとすれば傷付け易くない;
$facts$ = fact1: あの赤字補填がダブルピストン型ならばその圧力鍋は傷付け易い fact2: もしもこのゴルフ界がリージョンハンドルだしそれが待ち伏せるとしたらこの物流コストはエンジン始動でない fact3: もしもなにがしかのものはリージョンハンドルでないしさらにエンジン始動でないならそれは傷付け易くない fact4: このゴルフ界は待ち伏せないとすれば「あの赤字補填はダブルピストン型だ」ということは成り立つ fact5: 仮にこの物流コストはリージョンハンドルであるし更にエンジン始動であるとすると「このゴルフ界は待ち伏せるということはない」ということは成り立つ fact6: この物流コストはエンジン始動だ fact7: この物流コストはリージョンハンドルである fact8: このゴルフ界は傷付け易い ; $hypothesis$ = その圧力鍋は傷付け易い ; $proof$ = 
fact7 & fact6 -> int1: この物流コストはリージョンハンドルであるしエンジン始動である; int1 & fact5 -> int2: このゴルフ界は待ち伏せない; int2 & fact4 -> int3: あの赤字補填はダブルピストン型だ; int3 & fact1 -> hypothesis; __PROVED__
事実1: あの赤字補填がダブルピストン型ならばその圧力鍋は傷付け易い
事実2: もしもこのゴルフ界がリージョンハンドルだしそれが待ち伏せるとしたらこの物流コストはエンジン始動でない
事実3: もしもなにがしかのものはリージョンハンドルでないしさらにエンジン始動でないならそれは傷付け易くない
事実4: このゴルフ界は待ち伏せないとすれば「あの赤字補填はダブルピストン型だ」ということは成り立つ
事実5: 仮にこの物流コストはリージョンハンドルであるし更にエンジン始動であるとすると「このゴルフ界は待ち伏せるということはない」ということは成り立つ
事実6: この物流コストはエンジン始動だ
事実7: この物流コストはリージョンハンドルである
事実8: このゴルフ界は傷付け易い

仮説: その圧力鍋は傷付け易い
1. 事実7と事実6から、推論1: "この物流コストはリージョンハンドルであるしエンジン始動である"が導かれる
2. 推論1と事実5から、推論2: "このゴルフ界は待ち伏せない"が導かれる
3. 推論2と事実4から、推論3: "あの赤字補填はダブルピストン型だ"が導かれる
4. 推論3と事実1から、仮説が導かれる

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