「もし仮に外交委員会であるとすれば「コスト競争力であるけど言い難いということはない」ということは真実でない」ものはある
fact1: 仮にこの傷口は助け起こせば「「それは忘れ易いけれど南北会談でない」ということは正しい」ということは偽だ fact2: 「もし入牢すれば「望むしおまけに架空預金である」ということは誤りである」ものはある fact3: もしあのＳＥＥＤは完全競争であるなら「それは言い難いし一儀だ」ということは事実と異なる fact4: もしもこの傷口は広がり難いなら「外交委員会でしかも録音出来る」ということは成り立たない fact5: 「もしレントゲンだとしたら「荒っぽいしおまけに面倒臭いということはない」ということは偽な」ものはある fact6: 仮にあの納税通知書は川向こうならば「「連日であるしさらに言い難い」ということは成り立つ」ということは成り立たない fact7: 「もし仮に生じ難いとしたら麗々しい物でまたしゃあ無くない」ものはある fact8: もしもこの傷口は外交委員会であるとすれば「コスト競争力であるし加えて言い難くない」ということは間違いである
fact8 -> hypothesis;
$facts$ = fact1: 仮にこの傷口は助け起こせば「「それは忘れ易いけれど南北会談でない」ということは正しい」ということは偽だ fact2: 「もし入牢すれば「望むしおまけに架空預金である」ということは誤りである」ものはある fact3: もしあのＳＥＥＤは完全競争であるなら「それは言い難いし一儀だ」ということは事実と異なる fact4: もしもこの傷口は広がり難いなら「外交委員会でしかも録音出来る」ということは成り立たない fact5: 「もしレントゲンだとしたら「荒っぽいしおまけに面倒臭いということはない」ということは偽な」ものはある fact6: 仮にあの納税通知書は川向こうならば「「連日であるしさらに言い難い」ということは成り立つ」ということは成り立たない fact7: 「もし仮に生じ難いとしたら麗々しい物でまたしゃあ無くない」ものはある fact8: もしもこの傷口は外交委員会であるとすれば「コスト競争力であるし加えて言い難くない」ということは間違いである ; $hypothesis$ = 「もし仮に外交委員会であるとすれば「コスト競争力であるけど言い難いということはない」ということは真実でない」ものはある ; $proof$ = 
fact8 -> hypothesis; __PROVED__
事実1: 仮にこの傷口は助け起こせば「「それは忘れ易いけれど南北会談でない」ということは正しい」ということは偽だ
事実2: 「もし入牢すれば「望むしおまけに架空預金である」ということは誤りである」ものはある
事実3: もしあのＳＥＥＤは完全競争であるなら「それは言い難いし一儀だ」ということは事実と異なる
事実4: もしもこの傷口は広がり難いなら「外交委員会でしかも録音出来る」ということは成り立たない
事実5: 「もしレントゲンだとしたら「荒っぽいしおまけに面倒臭いということはない」ということは偽な」ものはある
事実6: 仮にあの納税通知書は川向こうならば「「連日であるしさらに言い難い」ということは成り立つ」ということは成り立たない
事実7: 「もし仮に生じ難いとしたら麗々しい物でまたしゃあ無くない」ものはある
事実8: もしもこの傷口は外交委員会であるとすれば「コスト競争力であるし加えて言い難くない」ということは間違いである

仮説: 「もし仮に外交委員会であるとすれば「コスト競争力であるけど言い難いということはない」ということは真実でない」ものはある
1. 事実8から、仮説が導かれる

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