「もし仮に吝いならば「後見人でなくて加えて応力集中要素である」ということは成り立たない」ものはある
fact1: 「もし仮に吝いならば後見人でないけど応力集中要素である」物はある fact2: 「仮に仕えれば「「明治民法でない一方で考え深い」ということは真実である」ということは成り立たない」物はある fact3: 「仮に登板するとすれば「日当であるし加えて二語だ」ということは誤りである」物はある fact4: もし仮にあの保全部は吝いとすれば「後見人でないしさらにそれは応力集中要素である」ということは成り立たない fact5: 「もし仮にその地上最強が教育行政であるとすればその地上最強は瑞々しくないけど新エンゼルプランだ」ということは成り立つ fact6: 「吝いとすれば「後見人でしかも応力集中要素だ」ということは成り立たない」ものはある fact7: もしあの保全部が吝いとすると後見人でない一方で応力集中要素だ fact8: もしもなにがしかの物は翻訳であるとしたら「それは放擲しない一方で解明出来る」ということは間違っている fact9: もしもあの保全部は吝いとすれば「それは後見人だし更に応力集中要素だ」ということは事実と異なる fact10: 仮に何かは来し易いとすると「疾しないしそれにそれは応力集中要素だ」ということは真実でない
fact4 -> hypothesis;
「翻訳であるとすると「放擲しないがしかし解明出来る」ということは成り立たない」物はある
fact11 -> int1: もし仮に「この鰹節は翻訳である」ということは本当であるとすれば「放擲しなくて更に解明出来る」ということは嘘である; int1 -> hypothesis;
$facts$ = fact1: 「もし仮に吝いならば後見人でないけど応力集中要素である」物はある fact2: 「仮に仕えれば「「明治民法でない一方で考え深い」ということは真実である」ということは成り立たない」物はある fact3: 「仮に登板するとすれば「日当であるし加えて二語だ」ということは誤りである」物はある fact4: もし仮にあの保全部は吝いとすれば「後見人でないしさらにそれは応力集中要素である」ということは成り立たない fact5: 「もし仮にその地上最強が教育行政であるとすればその地上最強は瑞々しくないけど新エンゼルプランだ」ということは成り立つ fact6: 「吝いとすれば「後見人でしかも応力集中要素だ」ということは成り立たない」ものはある fact7: もしあの保全部が吝いとすると後見人でない一方で応力集中要素だ fact8: もしもなにがしかの物は翻訳であるとしたら「それは放擲しない一方で解明出来る」ということは間違っている fact9: もしもあの保全部は吝いとすれば「それは後見人だし更に応力集中要素だ」ということは事実と異なる fact10: 仮に何かは来し易いとすると「疾しないしそれにそれは応力集中要素だ」ということは真実でない ; $hypothesis$ = 「もし仮に吝いならば「後見人でなくて加えて応力集中要素である」ということは成り立たない」ものはある ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: 「もし仮に吝いならば後見人でないけど応力集中要素である」物はある
事実2: 「仮に仕えれば「「明治民法でない一方で考え深い」ということは真実である」ということは成り立たない」物はある
事実3: 「仮に登板するとすれば「日当であるし加えて二語だ」ということは誤りである」物はある
事実4: もし仮にあの保全部は吝いとすれば「後見人でないしさらにそれは応力集中要素である」ということは成り立たない
事実5: 「もし仮にその地上最強が教育行政であるとすればその地上最強は瑞々しくないけど新エンゼルプランだ」ということは成り立つ
事実6: 「吝いとすれば「後見人でしかも応力集中要素だ」ということは成り立たない」ものはある
事実7: もしあの保全部が吝いとすると後見人でない一方で応力集中要素だ
事実8: もしもなにがしかの物は翻訳であるとしたら「それは放擲しない一方で解明出来る」ということは間違っている
事実9: もしもあの保全部は吝いとすれば「それは後見人だし更に応力集中要素だ」ということは事実と異なる
事実10: 仮に何かは来し易いとすると「疾しないしそれにそれは応力集中要素だ」ということは真実でない

仮説: 「もし仮に吝いならば「後見人でなくて加えて応力集中要素である」ということは成り立たない」ものはある
1. 事実4から、仮説が導かれる

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