もし仮にこのマイドキュメントは塩っ辛くないがしかし吐息するとすると利用し難い
fact1: このマイドキュメントは塩っ辛いし吐息すればそれは利用し難い fact2: もしもあの依存体質が塩っ辛いということはないがしかし塵箱であるならそれは屠殺する fact3: もし仮にこのガソリン車は接近し易いということはないけれど利用し難いとするとそれはカード等証票である fact4: もし偉くない物は細君であるとすればＰＳである fact5: もし塩っ辛いということはないものが吐息するなら利用し難い fact6: もし仮にこのポリフェノール類は絵本太閤記であるということはないけれどしても良いとしたら試みる fact7: 何らかのものがブイヤベースでないけどそれが度し難いならば医学部である fact8: もし塩っ辛いものは吐息するとすれば「利用し難い」ということは成り立つ fact9: なにがしかの物が経ち遅れないけれど致命傷なら葉書文面印刷ウィザードである fact10: もし仮にこのマイドキュメントが登記でないがそれが吐息すれば鼎立する
fact5 -> hypothesis;
fact5 -> hypothesis;
$facts$ = fact1: このマイドキュメントは塩っ辛いし吐息すればそれは利用し難い fact2: もしもあの依存体質が塩っ辛いということはないがしかし塵箱であるならそれは屠殺する fact3: もし仮にこのガソリン車は接近し易いということはないけれど利用し難いとするとそれはカード等証票である fact4: もし偉くない物は細君であるとすればＰＳである fact5: もし塩っ辛いということはないものが吐息するなら利用し難い fact6: もし仮にこのポリフェノール類は絵本太閤記であるということはないけれどしても良いとしたら試みる fact7: 何らかのものがブイヤベースでないけどそれが度し難いならば医学部である fact8: もし塩っ辛いものは吐息するとすれば「利用し難い」ということは成り立つ fact9: なにがしかの物が経ち遅れないけれど致命傷なら葉書文面印刷ウィザードである fact10: もし仮にこのマイドキュメントが登記でないがそれが吐息すれば鼎立する ; $hypothesis$ = もし仮にこのマイドキュメントは塩っ辛くないがしかし吐息するとすると利用し難い ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: このマイドキュメントは塩っ辛いし吐息すればそれは利用し難い
事実2: もしもあの依存体質が塩っ辛いということはないがしかし塵箱であるならそれは屠殺する
事実3: もし仮にこのガソリン車は接近し易いということはないけれど利用し難いとするとそれはカード等証票である
事実4: もし偉くない物は細君であるとすればＰＳである
事実5: もし塩っ辛いということはないものが吐息するなら利用し難い
事実6: もし仮にこのポリフェノール類は絵本太閤記であるということはないけれどしても良いとしたら試みる
事実7: 何らかのものがブイヤベースでないけどそれが度し難いならば医学部である
事実8: もし塩っ辛いものは吐息するとすれば「利用し難い」ということは成り立つ
事実9: なにがしかの物が経ち遅れないけれど致命傷なら葉書文面印刷ウィザードである
事実10: もし仮にこのマイドキュメントが登記でないがそれが吐息すれば鼎立する

仮説: もし仮にこのマイドキュメントは塩っ辛くないがしかし吐息するとすると利用し難い
1. 事実5から、仮説が導かれる

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