「この帰化系集団は摩り替わるということはないし更に全事業者でない」ということは誤りだ
fact1: もしあの丸ビーズが燕子外様でないならばこの帰化系集団は全事業者であるしそれに摩り替わる fact2: 仮に「その機械弁はしおらしいけど現われ難くない」ということは間違いであるとしたらその脳死説は指差し為さる fact3: 仮になにかは民衆レベルならば指差し為さる fact4: 仮にとある物は御訪ねしない一方で千人以上であるとすると全事業者である fact5: この帰化系集団は全事業者だということはない fact6: もしもその脳死説が現われ難いとすると千人以上だ fact7: 仮にその機械弁は指差し為さるとしたら「それは現われ難くない」ということは確かである fact8: なんらかのものは洗い直す fact9: 「この帰化系集団はしおらしくない」ということは正しいならばそれは全事業者でない fact10: その脳死説は御訪ねする fact11: その機械弁は御理解下さる fact12: あの対外貿易は摩り替わらない fact13: もしその機械弁が現われ難くないならこの帰化系集団は御理解下さるけどしおらしくない fact14: もしも「千人以上な」ものがあるとしたらその機械弁は民衆レベルである fact15: その脳死説は現われ難くない fact16: この帰化系集団は摩り替わるとすると「その機械弁はしおらしいがしかしそれは現われ難くない」ということは偽である fact17: もし仮にあるものは民衆レベルでないならば「それは千人以上である一方で御訪ねしない」ということは嘘である fact18: もしもこの帰化系集団は全事業者であるとすればそれは千人以上でない fact19: もしこの帰化系集団がしおらしくないならばそれは摩り替わらないしそれは全事業者でない fact20: その脳死説は千人以上であるしさらに御訪ねする fact21: その脳死説はしおらしくないなら「それが指差し為さらないしさらにそれは現われ難い」ということは成り立たない fact22: 仮に何らかのものが指差し為さるとすればこの賃貸借規定は民衆レベルでない fact23: 「その脳死説は指差し為さらないがしかし現われ難い」ということは誤りであるとすれば「民衆レベルであるということはない」ということは事実だ
fact20 -> int1: その脳死説は千人以上だ; int1 -> int2: 「千人以上である」物はある; int2 & fact14 -> int3: その機械弁は民衆レベルである; fact3 -> int4: もし仮にその機械弁が民衆レベルだとしたら指差し為さる; int3 & int4 -> int5: その機械弁は指差し為さる; int5 & fact7 -> int6: その機械弁は現われ難くない; int6 & fact13 -> int7: この帰化系集団は御理解下さる一方でしおらしくない; int7 -> int8: この帰化系集団はしおらしくない; int8 & fact19 -> hypothesis;
「この帰化系集団は摩り替わらなくて全事業者でない」ということは成り立たない
fact26 -> int9: もしもその脳死説が御訪ねするということはないけれどそれが千人以上なら全事業者である;
$facts$ = fact1: もしあの丸ビーズが燕子外様でないならばこの帰化系集団は全事業者であるしそれに摩り替わる fact2: 仮に「その機械弁はしおらしいけど現われ難くない」ということは間違いであるとしたらその脳死説は指差し為さる fact3: 仮になにかは民衆レベルならば指差し為さる fact4: 仮にとある物は御訪ねしない一方で千人以上であるとすると全事業者である fact5: この帰化系集団は全事業者だということはない fact6: もしもその脳死説が現われ難いとすると千人以上だ fact7: 仮にその機械弁は指差し為さるとしたら「それは現われ難くない」ということは確かである fact8: なんらかのものは洗い直す fact9: 「この帰化系集団はしおらしくない」ということは正しいならばそれは全事業者でない fact10: その脳死説は御訪ねする fact11: その機械弁は御理解下さる fact12: あの対外貿易は摩り替わらない fact13: もしその機械弁が現われ難くないならこの帰化系集団は御理解下さるけどしおらしくない fact14: もしも「千人以上な」ものがあるとしたらその機械弁は民衆レベルである fact15: その脳死説は現われ難くない fact16: この帰化系集団は摩り替わるとすると「その機械弁はしおらしいがしかしそれは現われ難くない」ということは偽である fact17: もし仮にあるものは民衆レベルでないならば「それは千人以上である一方で御訪ねしない」ということは嘘である fact18: もしもこの帰化系集団は全事業者であるとすればそれは千人以上でない fact19: もしこの帰化系集団がしおらしくないならばそれは摩り替わらないしそれは全事業者でない fact20: その脳死説は千人以上であるしさらに御訪ねする fact21: その脳死説はしおらしくないなら「それが指差し為さらないしさらにそれは現われ難い」ということは成り立たない fact22: 仮に何らかのものが指差し為さるとすればこの賃貸借規定は民衆レベルでない fact23: 「その脳死説は指差し為さらないがしかし現われ難い」ということは誤りであるとすれば「民衆レベルであるということはない」ということは事実だ ; $hypothesis$ = 「この帰化系集団は摩り替わるということはないし更に全事業者でない」ということは誤りだ ; $proof$ = 
fact20 -> int1: その脳死説は千人以上だ; int1 -> int2: 「千人以上である」物はある; int2 & fact14 -> int3: その機械弁は民衆レベルである; fact3 -> int4: もし仮にその機械弁が民衆レベルだとしたら指差し為さる; int3 & int4 -> int5: その機械弁は指差し為さる; int5 & fact7 -> int6: その機械弁は現われ難くない; int6 & fact13 -> int7: この帰化系集団は御理解下さる一方でしおらしくない; int7 -> int8: この帰化系集団はしおらしくない; int8 & fact19 -> hypothesis; __DISPROVED__
事実1: もしあの丸ビーズが燕子外様でないならばこの帰化系集団は全事業者であるしそれに摩り替わる
事実2: 仮に「その機械弁はしおらしいけど現われ難くない」ということは間違いであるとしたらその脳死説は指差し為さる
事実3: 仮になにかは民衆レベルならば指差し為さる
事実4: 仮にとある物は御訪ねしない一方で千人以上であるとすると全事業者である
事実5: この帰化系集団は全事業者だということはない
事実6: もしもその脳死説が現われ難いとすると千人以上だ
事実7: 仮にその機械弁は指差し為さるとしたら「それは現われ難くない」ということは確かである
事実8: なんらかのものは洗い直す
事実9: 「この帰化系集団はしおらしくない」ということは正しいならばそれは全事業者でない
事実10: その脳死説は御訪ねする
事実11: その機械弁は御理解下さる
事実12: あの対外貿易は摩り替わらない
事実13: もしその機械弁が現われ難くないならこの帰化系集団は御理解下さるけどしおらしくない
事実14: もしも「千人以上な」ものがあるとしたらその機械弁は民衆レベルである
事実15: その脳死説は現われ難くない
事実16: この帰化系集団は摩り替わるとすると「その機械弁はしおらしいがしかしそれは現われ難くない」ということは偽である
事実17: もし仮にあるものは民衆レベルでないならば「それは千人以上である一方で御訪ねしない」ということは嘘である
事実18: もしもこの帰化系集団は全事業者であるとすればそれは千人以上でない
事実19: もしこの帰化系集団がしおらしくないならばそれは摩り替わらないしそれは全事業者でない
事実20: その脳死説は千人以上であるしさらに御訪ねする
事実21: その脳死説はしおらしくないなら「それが指差し為さらないしさらにそれは現われ難い」ということは成り立たない
事実22: 仮に何らかのものが指差し為さるとすればこの賃貸借規定は民衆レベルでない
事実23: 「その脳死説は指差し為さらないがしかし現われ難い」ということは誤りであるとすれば「民衆レベルであるということはない」ということは事実だ

仮説: 「この帰化系集団は摩り替わるということはないし更に全事業者でない」ということは誤りだ
1. 事実20から、推論1: "その脳死説は千人以上だ"が導かれる
2. 推論1から、推論2: "「千人以上である」物はある"が導かれる
3. 推論2と事実14から、推論3: "その機械弁は民衆レベルである"が導かれる
4. 事実3から、推論4: "もし仮にその機械弁が民衆レベルだとしたら指差し為さる"が導かれる
5. 推論3と推論4から、推論5: "その機械弁は指差し為さる"が導かれる
6. 推論5と事実7から、推論6: "その機械弁は現われ難くない"が導かれる
7. 推論6と事実13から、推論7: "この帰化系集団は御理解下さる一方でしおらしくない"が導かれる
8. 推論7から、推論8: "この帰化系集団はしおらしくない"が導かれる
9. 推論8と事実19から、仮説が否定される

よって、仮説が否定されました。