「この国営は組み合わせだが自然発生しない」ということは成り立たない
fact1: 「この同種療法は問題集でない」ということは本当である fact2: 「あの縫い止まりは阻止能でそれは組み合わせである」ということは間違っている fact3: この国営は問題集である fact4: この国営はカウルでない fact5: この国営が流し合わないならば問題集である一方で阻止能でない fact6: もしも「あの縫い止まりは組み合わせであるし加えて問題集だ」ということは本当であるならばこの国営は阻止能でない fact7: この同種療法は土地利用権であるしさらに懇願する fact8: あの縫い止まりは阻止能である fact9: あのクローは組み合わせである fact10: 「この私達一家は組み合わせだ」ということは成り立つ fact11: この国営はセンターである fact12: 「この糸球は阻止能だ」ということは成り立つ fact13: 仮に「あの縫い止まりは流し合う一方でそれは気安くない」ということは成り立たないとすると流し合わない fact14: 仮にこの国営は自然発生しないなら「あの縫い止まりは阻止能であるしかつ組み合わせだ」ということは誤っている fact15: この同種療法は流し合う fact16: この国営は扱い易い fact17: もし仮にこの同種療法が流し合うしかつそれは問題集なら「あの縫い止まりは阻止能でない」ということは成り立つ fact18: あの縫い止まりは自然発生するししかも五里霧中だ fact19: もし仮にあの縫い止まりは問題集でないならば「この国営は組み合わせであるしそれは自然発生する」ということは偽である fact20: もし「あの縫い止まりは問題集でない」ということは成り立つとしたら「この国営は組み合わせだ一方で自然発生しない」ということは事実と異なる fact21: この国営は阻止能だということはない fact22: 「この国営は組み合わせで自然発生する」ということは偽だ fact23: もしも「あの縫い止まりが阻止能だししかもそれは問題集である」ということは成り立つとしたらこの同種療法は流し合わない fact24: 「あの縫い止まりは組み合わせだけれど問題集でない」ということは誤っている
void -> assump1: 以下のように仮定する。あの縫い止まりは問題集である; fact8 & assump1 -> int1: あの縫い止まりは阻止能だし更に問題集だ; int1 & fact23 -> int2: この同種療法は流し合うということはない; int2 & fact15 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの縫い止まりは問題集であるということはない; int4 & fact20 -> hypothesis;
この国営は組み合わせであるけれど自然発生しない
$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: 「あの縫い止まりは組み合わせだけれど問題集でない」ということは誤っている ; $hypothesis$ = 「この国営は組み合わせだが自然発生しない」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの縫い止まりは問題集である; fact8 & assump1 -> int1: あの縫い止まりは阻止能だし更に問題集だ; int1 & fact23 -> int2: この同種療法は流し合うということはない; int2 & fact15 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの縫い止まりは問題集であるということはない; int4 & fact20 -> 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: 「あの縫い止まりは組み合わせだけれど問題集でない」ということは誤っている

仮説: 「この国営は組み合わせだが自然発生しない」ということは成り立たない
1. 仮定1: 以下のように仮定する。あの縫い止まりは問題集である
2. 事実8と仮定1から、推論1: "あの縫い止まりは阻止能だし更に問題集だ"が導かれる
3. 推論1と事実23から、推論2: "この同種療法は流し合うということはない"が導かれる
4. 推論2と事実15から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの縫い止まりは問題集であるということはない"が導かれる
6. 推論4と事実20から、仮説が導かれる

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