その便器は逃げ出せないがしかし製造・販売する
fact1: その便器は逃げ出せない一方で饐える fact2: 仮に「あるものは失踪しないがしかし服役する」ということは間違いならば分極する fact3: その便器はでっかくないけれど分極する fact4: もしなにがしかの物が逃げ出せないとすると婦人達でなくてしかもそれは分極する fact5: 「分極しない」物はある fact6: もしも「分極しない」ものがあるとすればその便器は逃げ出せないけれどそれは製造・販売する fact7: もし何かは恨めしくないとすると「失踪するということはないが服役する」ということは誤りだ fact8: そのどさは平らげない一方でカリブーだ fact9: もしなにかは服役するしおまけに製造・販売するとするとそれは逃げ出せない
fact5 & fact6 -> hypothesis;
fact5 & fact6 -> hypothesis;
「その便器は逃げ出せないが製造・販売する」ということは誤りだ
fact11 -> int1: 仮に「その便器は失踪しないが服役する」ということは間違っているなら分極する; fact10 -> int2: もしもその下垂体前葉ホルモンは恨めしくないとすると「それは失踪しなくて服役する」ということは間違いである;
$facts$ = fact1: その便器は逃げ出せない一方で饐える fact2: 仮に「あるものは失踪しないがしかし服役する」ということは間違いならば分極する fact3: その便器はでっかくないけれど分極する fact4: もしなにがしかの物が逃げ出せないとすると婦人達でなくてしかもそれは分極する fact5: 「分極しない」物はある fact6: もしも「分極しない」ものがあるとすればその便器は逃げ出せないけれどそれは製造・販売する fact7: もし何かは恨めしくないとすると「失踪するということはないが服役する」ということは誤りだ fact8: そのどさは平らげない一方でカリブーだ fact9: もしなにかは服役するしおまけに製造・販売するとするとそれは逃げ出せない ; $hypothesis$ = その便器は逃げ出せないがしかし製造・販売する ; $proof$ = 
fact5 & fact6 -> hypothesis; __PROVED__
事実1: その便器は逃げ出せない一方で饐える
事実2: 仮に「あるものは失踪しないがしかし服役する」ということは間違いならば分極する
事実3: その便器はでっかくないけれど分極する
事実4: もしなにがしかの物が逃げ出せないとすると婦人達でなくてしかもそれは分極する
事実5: 「分極しない」物はある
事実6: もしも「分極しない」ものがあるとすればその便器は逃げ出せないけれどそれは製造・販売する
事実7: もし何かは恨めしくないとすると「失踪するということはないが服役する」ということは誤りだ
事実8: そのどさは平らげない一方でカリブーだ
事実9: もしなにかは服役するしおまけに製造・販売するとするとそれは逃げ出せない

仮説: その便器は逃げ出せないがしかし製造・販売する
1. 事実5と事実6から、仮説が導かれる

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