この企業体質は罹患し易くてかつそれは生き為さる
fact1: 芳しい物は冗談半分だ fact2: なにがしかの物がウェイドでないとしたらそれは罹患し易いかあるいはそれは厳いかまたはどちらもである fact3: もし仮になにがしかの物が復しないとしたら才女であるかそれは罹患し易いかあるいは両方だ fact4: 「転写因子でない」ものはある fact5: 仮に「成し難くない」物はあるとすれば「この就学援助はウェイドだけれど復しない」ということは成り立たない fact6: このローカルは送り続ける fact7: この就学援助は笑い皺だ fact8: 「その分節型は送り続けるということはない」ということは正しいなら才女であるかもしくは厳いか両方ともである fact9: 仮になんらかのものが送り続けないならそれは厳いかそれは追突車である fact10: もしもその分節型がウェイドであるとすればこの就学援助は成し難くないし更に復しない fact11: 「もしも「「復しない」物はある」ということは確かであるとすれば「この就学援助は芳しいししかも罹患し易い」ということは成り立たない」ということは成り立つ fact12: 成し難いということはないものはある fact13: あのアレルギー性鼻炎は送り続けない fact14: このローカルが送り続けるとしたらそれは厳い fact15: なにかは罹患し易くないなら追突車であるかあるいは復するかあるいは両方ともだ fact16: もしもあの洋書が追突車であるとするとこの企業体質は生き為さる fact17: この企業体質は冗談半分だということはない fact18: あの洋書は生き為さらない fact19: この企業体質は追突車である fact20: 仮にこの就学援助が成し難くないしまた復しないならばこの企業体質は成し難くない fact21: もし仮にその分節型が厳いとすればあの洋書は芳しい fact22: もし仮になにがしかのものは成し難くないとすると「罹患し易くてまた生き為さる」ということは真実であるということはない fact23: もし仮に「この就学援助はウェイドだがしかしそれは復しない」ということは成り立つということはないとするとその分節型は才女である fact24: 「その分節型は冗談半分である」ということは本当だとすればこの企業体質は罹患し易い fact25: あの洋書は比例する fact26: あの洋書は送り続けない fact27: もしもあの洋書は冗談半分でないとしたら才女だがしかし芳しくない fact28: もしもとある物が才女なら芳しい fact29: もしもあの洋書が厳いとすればこの企業体質は生き為さる fact30: 何らかの物は罹患し易い
fact12 & fact5 -> int1: 「「この就学援助はウェイドであるがしかし復しない」ということは真実だ」ということは成り立たない; int1 & fact23 -> int2: 「その分節型は才女である」ということは本当である; fact28 -> int3: その分節型が才女だとすると芳しい; int2 & int3 -> int4: 「その分節型は芳しい」ということは誤っていない; fact1 -> int5: もしもその分節型が芳しいとすると冗談半分だ; int4 & int5 -> int6: 「その分節型は冗談半分である」ということは確かだ; int6 & fact24 -> int7: この企業体質は罹患し易い; fact9 -> int8: あの洋書が送り続けるということはないならばそれは厳いかそれは追突車であるかまたは両方だ; int8 & fact26 -> int9: あの洋書は厳いか追突車であるかあるいは両方ともだ; fact16 & fact29 & int9 -> int10: この企業体質は生き為さる; int7 & int10 -> hypothesis;
「この企業体質は罹患し易いし生き為さる」ということは嘘である
fact34 -> int11: 「仮にこの企業体質は成し難くないなら「この企業体質は罹患し易いし生き為さる」ということは間違いである」ということは成り立つ; fact33 & fact31 -> int12: このローカルは厳い; int12 -> int13: このローカルは追突車であるかまたは厳い; int13 -> int14: 「追突車であるかまたは厳いかまたは両方ともな」ものはある;
$facts$ = fact1: 芳しい物は冗談半分だ fact2: なにがしかの物がウェイドでないとしたらそれは罹患し易いかあるいはそれは厳いかまたはどちらもである fact3: もし仮になにがしかの物が復しないとしたら才女であるかそれは罹患し易いかあるいは両方だ fact4: 「転写因子でない」ものはある fact5: 仮に「成し難くない」物はあるとすれば「この就学援助はウェイドだけれど復しない」ということは成り立たない fact6: このローカルは送り続ける fact7: この就学援助は笑い皺だ fact8: 「その分節型は送り続けるということはない」ということは正しいなら才女であるかもしくは厳いか両方ともである fact9: 仮になんらかのものが送り続けないならそれは厳いかそれは追突車である fact10: もしもその分節型がウェイドであるとすればこの就学援助は成し難くないし更に復しない fact11: 「もしも「「復しない」物はある」ということは確かであるとすれば「この就学援助は芳しいししかも罹患し易い」ということは成り立たない」ということは成り立つ fact12: 成し難いということはないものはある fact13: あのアレルギー性鼻炎は送り続けない fact14: このローカルが送り続けるとしたらそれは厳い fact15: なにかは罹患し易くないなら追突車であるかあるいは復するかあるいは両方ともだ fact16: もしもあの洋書が追突車であるとするとこの企業体質は生き為さる fact17: この企業体質は冗談半分だということはない fact18: あの洋書は生き為さらない fact19: この企業体質は追突車である fact20: 仮にこの就学援助が成し難くないしまた復しないならばこの企業体質は成し難くない fact21: もし仮にその分節型が厳いとすればあの洋書は芳しい fact22: もし仮になにがしかのものは成し難くないとすると「罹患し易くてまた生き為さる」ということは真実であるということはない fact23: もし仮に「この就学援助はウェイドだがしかしそれは復しない」ということは成り立つということはないとするとその分節型は才女である fact24: 「その分節型は冗談半分である」ということは本当だとすればこの企業体質は罹患し易い fact25: あの洋書は比例する fact26: あの洋書は送り続けない fact27: もしもあの洋書は冗談半分でないとしたら才女だがしかし芳しくない fact28: もしもとある物が才女なら芳しい fact29: もしもあの洋書が厳いとすればこの企業体質は生き為さる fact30: 何らかの物は罹患し易い ; $hypothesis$ = この企業体質は罹患し易くてかつそれは生き為さる ; $proof$ = 
fact12 & fact5 -> int1: 「「この就学援助はウェイドであるがしかし復しない」ということは真実だ」ということは成り立たない; int1 & fact23 -> int2: 「その分節型は才女である」ということは本当である; fact28 -> int3: その分節型が才女だとすると芳しい; int2 & int3 -> int4: 「その分節型は芳しい」ということは誤っていない; fact1 -> int5: もしもその分節型が芳しいとすると冗談半分だ; int4 & int5 -> int6: 「その分節型は冗談半分である」ということは確かだ; int6 & fact24 -> int7: この企業体質は罹患し易い; fact9 -> int8: あの洋書が送り続けるということはないならばそれは厳いかそれは追突車であるかまたは両方だ; int8 & fact26 -> int9: あの洋書は厳いか追突車であるかあるいは両方ともだ; fact16 & fact29 & int9 -> int10: この企業体質は生き為さる; int7 & int10 -> hypothesis; __PROVED__
事実1: 芳しい物は冗談半分だ
事実2: なにがしかの物がウェイドでないとしたらそれは罹患し易いかあるいはそれは厳いかまたはどちらもである
事実3: もし仮になにがしかの物が復しないとしたら才女であるかそれは罹患し易いかあるいは両方だ
事実4: 「転写因子でない」ものはある
事実5: 仮に「成し難くない」物はあるとすれば「この就学援助はウェイドだけれど復しない」ということは成り立たない
事実6: このローカルは送り続ける
事実7: この就学援助は笑い皺だ
事実8: 「その分節型は送り続けるということはない」ということは正しいなら才女であるかもしくは厳いか両方ともである
事実9: 仮になんらかのものが送り続けないならそれは厳いかそれは追突車である
事実10: もしもその分節型がウェイドであるとすればこの就学援助は成し難くないし更に復しない
事実11: 「もしも「「復しない」物はある」ということは確かであるとすれば「この就学援助は芳しいししかも罹患し易い」ということは成り立たない」ということは成り立つ
事実12: 成し難いということはないものはある
事実13: あのアレルギー性鼻炎は送り続けない
事実14: このローカルが送り続けるとしたらそれは厳い
事実15: なにかは罹患し易くないなら追突車であるかあるいは復するかあるいは両方ともだ
事実16: もしもあの洋書が追突車であるとするとこの企業体質は生き為さる
事実17: この企業体質は冗談半分だということはない
事実18: あの洋書は生き為さらない
事実19: この企業体質は追突車である
事実20: 仮にこの就学援助が成し難くないしまた復しないならばこの企業体質は成し難くない
事実21: もし仮にその分節型が厳いとすればあの洋書は芳しい
事実22: もし仮になにがしかのものは成し難くないとすると「罹患し易くてまた生き為さる」ということは真実であるということはない
事実23: もし仮に「この就学援助はウェイドだがしかしそれは復しない」ということは成り立つということはないとするとその分節型は才女である
事実24: 「その分節型は冗談半分である」ということは本当だとすればこの企業体質は罹患し易い
事実25: あの洋書は比例する
事実26: あの洋書は送り続けない
事実27: もしもあの洋書は冗談半分でないとしたら才女だがしかし芳しくない
事実28: もしもとある物が才女なら芳しい
事実29: もしもあの洋書が厳いとすればこの企業体質は生き為さる
事実30: 何らかの物は罹患し易い

仮説: この企業体質は罹患し易くてかつそれは生き為さる
1. 事実12と事実5から、推論1: "「「この就学援助はウェイドであるがしかし復しない」ということは真実だ」ということは成り立たない"が導かれる
2. 推論1と事実23から、推論2: "「その分節型は才女である」ということは本当である"が導かれる
3. 事実28から、推論3: "その分節型が才女だとすると芳しい"が導かれる
4. 推論2と推論3から、推論4: "「その分節型は芳しい」ということは誤っていない"が導かれる
5. 事実1から、推論5: "もしもその分節型が芳しいとすると冗談半分だ"が導かれる
6. 推論4と推論5から、推論6: "「その分節型は冗談半分である」ということは確かだ"が導かれる
7. 推論6と事実24から、推論7: "この企業体質は罹患し易い"が導かれる
8. 事実9から、推論8: "あの洋書が送り続けるということはないならばそれは厳いかそれは追突車であるかまたは両方だ"が導かれる
9. 推論8と事実26から、推論9: "あの洋書は厳いか追突車であるかあるいは両方ともだ"が導かれる
10. 事実16と事実29と推論9から、推論10: "この企業体質は生き為さる"が導かれる
11. 推論7と推論10から、仮説が導かれる

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