あの中小製造業はやっかむ
fact1: その一打罰はやっかむ fact2: 「この中国会社法は全国ネットだがしかし成し遂げない」ということは成り立たない fact3: 「もしもあの中小製造業が成し遂げないならこの中国会社法は全国ネットである」ということは正しい fact4: 「この能古見人形は成し遂げる一方で事切れない」ということは嘘だ fact5: もし「この中国会社法は全国ネットだけれどやっかまない」ということは成り立たないならあの中小製造業は成し遂げる fact6: もし仮に「「この中国会社法は全国ネットだけれどそれは成し遂げない」ということは成り立つ」ということは間違っているとしたらあの中小製造業はやっかむ fact7: もしもあの中小製造業が全国ネットでないとするとこの中国会社法はやっかむ fact8: 「この中国会社法は成し遂げるがしかしやっかまない」ということは嘘だ fact9: もしも「あの中小製造業は成し遂げるけれどそれは全国ネットだということはない」ということは偽だとするとこの中国会社法はやっかむ fact10: 「あの中小製造業は全国ネットだが際どいということはない」ということは誤っている fact11: あの中小製造業は成し遂げる fact12: もしも「あの中小製造業は全国ネットであるけどそれは成し遂げない」ということは嘘であるとしたらこの中国会社法はやっかむ fact13: もしも「あの中小製造業は成し遂げるがしかしやっかまない」ということは間違っているなら「この中国会社法は全国ネットである」ということは成り立つ fact14: もしも「あの中小製造業は全国ネットであるがしかしそれはやっかむということはない」ということは偽ならこの中国会社法は成し遂げる fact15: 「あの中小製造業はやっかむけれど成し遂げない」ということは事実と異なる
fact6 & fact2 -> hypothesis;
fact6 & fact2 -> hypothesis;
$facts$ = fact1: その一打罰はやっかむ fact2: 「この中国会社法は全国ネットだがしかし成し遂げない」ということは成り立たない fact3: 「もしもあの中小製造業が成し遂げないならこの中国会社法は全国ネットである」ということは正しい fact4: 「この能古見人形は成し遂げる一方で事切れない」ということは嘘だ fact5: もし「この中国会社法は全国ネットだけれどやっかまない」ということは成り立たないならあの中小製造業は成し遂げる fact6: もし仮に「「この中国会社法は全国ネットだけれどそれは成し遂げない」ということは成り立つ」ということは間違っているとしたらあの中小製造業はやっかむ fact7: もしもあの中小製造業が全国ネットでないとするとこの中国会社法はやっかむ fact8: 「この中国会社法は成し遂げるがしかしやっかまない」ということは嘘だ fact9: もしも「あの中小製造業は成し遂げるけれどそれは全国ネットだということはない」ということは偽だとするとこの中国会社法はやっかむ fact10: 「あの中小製造業は全国ネットだが際どいということはない」ということは誤っている fact11: あの中小製造業は成し遂げる fact12: もしも「あの中小製造業は全国ネットであるけどそれは成し遂げない」ということは嘘であるとしたらこの中国会社法はやっかむ fact13: もしも「あの中小製造業は成し遂げるがしかしやっかまない」ということは間違っているなら「この中国会社法は全国ネットである」ということは成り立つ fact14: もしも「あの中小製造業は全国ネットであるがしかしそれはやっかむということはない」ということは偽ならこの中国会社法は成し遂げる fact15: 「あの中小製造業はやっかむけれど成し遂げない」ということは事実と異なる ; $hypothesis$ = あの中小製造業はやっかむ ; $proof$ = 
fact6 & fact2 -> hypothesis; __PROVED__
事実1: その一打罰はやっかむ
事実2: 「この中国会社法は全国ネットだがしかし成し遂げない」ということは成り立たない
事実3: 「もしもあの中小製造業が成し遂げないならこの中国会社法は全国ネットである」ということは正しい
事実4: 「この能古見人形は成し遂げる一方で事切れない」ということは嘘だ
事実5: もし「この中国会社法は全国ネットだけれどやっかまない」ということは成り立たないならあの中小製造業は成し遂げる
事実6: もし仮に「「この中国会社法は全国ネットだけれどそれは成し遂げない」ということは成り立つ」ということは間違っているとしたらあの中小製造業はやっかむ
事実7: もしもあの中小製造業が全国ネットでないとするとこの中国会社法はやっかむ
事実8: 「この中国会社法は成し遂げるがしかしやっかまない」ということは嘘だ
事実9: もしも「あの中小製造業は成し遂げるけれどそれは全国ネットだということはない」ということは偽だとするとこの中国会社法はやっかむ
事実10: 「あの中小製造業は全国ネットだが際どいということはない」ということは誤っている
事実11: あの中小製造業は成し遂げる
事実12: もしも「あの中小製造業は全国ネットであるけどそれは成し遂げない」ということは嘘であるとしたらこの中国会社法はやっかむ
事実13: もしも「あの中小製造業は成し遂げるがしかしやっかまない」ということは間違っているなら「この中国会社法は全国ネットである」ということは成り立つ
事実14: もしも「あの中小製造業は全国ネットであるがしかしそれはやっかむということはない」ということは偽ならこの中国会社法は成し遂げる
事実15: 「あの中小製造業はやっかむけれど成し遂げない」ということは事実と異なる

仮説: あの中小製造業はやっかむ
1. 事実6と事実2から、仮説が導かれる

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