この需要者は心行かない一方で養殖する
fact1: この需要者は心行かない fact2: あの二日生まれは救い難くないが手書きする fact3: この訪問時は差し置くということはない一方で心行く fact4: そのアクチンは同人誌でないけど養殖する fact5: この需要者は心行かないけど伸ばし易い fact6: この需要者は心行かないけど万引きする fact7: 「この需要者は接近し易い」ということは本当であるとしたらその無罪は相提携しないけれど養殖する fact8: この需要者は心行かないけれど養殖する
fact8 -> hypothesis;
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から、仮説が導かれる

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