このＮＤは政治共同体でない
fact1: もし仮にその馬房が犯し難いかまたはそれは娘らしいかもしくはどちらもであるとしたらそれは生じ難くない fact2: 「「犯し難くないしその上慕わしくない」ということは正しいということはない」ものはある fact3: もしもある物は娘らしいしまた犯し難いとしたらそれは政治共同体であるということはない fact4: このＮＤは生じ難いかそれは政治共同体であるか両方である fact5: その馬房は使い難い fact6: あのダイナミズムは娘らしくないがしかし開示する fact7: このＮＤは最優秀賞だ fact8: もし仮に生じ難くないものが忙しないならば娘らしい fact9: もしその馬房が最優秀賞でないとするとこのＮＤは最優秀賞だ fact10: もしその馬房が最優秀賞であるということはないとするとこのＮＤが慕わしいしその上それは最優秀賞である fact11: その排尿障害は犯し難い fact12: その馬房は犯し難い fact13: 仮にあるものは生じ難くないとすると「それは娘らしいけれど犯し難くない」ということは正しくない fact14: その馬房は慕わしいということはない fact15: 仮にこのＮＤは最優秀賞であるかもしくは娘らしいとすれば犯し難くない fact16: このＮＤは百二十三Ｉ摂取率でないが最優秀賞だ fact17: 慕わしいものは政治共同体である fact18: その馬房は忙しない fact19: このＮＤは忙しない fact20: その馬房は娘らしいとしたら「それは生じ難くない」ということは確かである fact21: もしその馬房が生じ難くないがそれが忙しないとしたら最優秀賞でない
fact12 -> int1: その馬房は犯し難いかまたは娘らしい; int1 & fact1 -> int2: その馬房は生じ難くない; int2 & fact18 -> int3: その馬房は生じ難くない一方で忙しない; int3 & fact21 -> int4: 「その馬房は最優秀賞でない」ということは正しい; int4 & fact10 -> int5: このＮＤは慕わしくてさらに最優秀賞である; int5 -> int6: このＮＤは慕わしい; fact17 -> int7: もしもこのＮＤが慕わしいならば政治共同体である; int6 & int7 -> hypothesis;
あのＤＯＧは忙しなくない
fact22 -> int8: もしも「あのＤＯＧは生じ難くない」ということは真実であるならば「それは娘らしいし更に犯し難くない」ということは成り立たない;
$facts$ = fact1: もし仮にその馬房が犯し難いかまたはそれは娘らしいかもしくはどちらもであるとしたらそれは生じ難くない fact2: 「「犯し難くないしその上慕わしくない」ということは正しいということはない」ものはある fact3: もしもある物は娘らしいしまた犯し難いとしたらそれは政治共同体であるということはない fact4: このＮＤは生じ難いかそれは政治共同体であるか両方である fact5: その馬房は使い難い fact6: あのダイナミズムは娘らしくないがしかし開示する fact7: このＮＤは最優秀賞だ fact8: もし仮に生じ難くないものが忙しないならば娘らしい fact9: もしその馬房が最優秀賞でないとするとこのＮＤは最優秀賞だ fact10: もしその馬房が最優秀賞であるということはないとするとこのＮＤが慕わしいしその上それは最優秀賞である fact11: その排尿障害は犯し難い fact12: その馬房は犯し難い fact13: 仮にあるものは生じ難くないとすると「それは娘らしいけれど犯し難くない」ということは正しくない fact14: その馬房は慕わしいということはない fact15: 仮にこのＮＤは最優秀賞であるかもしくは娘らしいとすれば犯し難くない fact16: このＮＤは百二十三Ｉ摂取率でないが最優秀賞だ fact17: 慕わしいものは政治共同体である fact18: その馬房は忙しない fact19: このＮＤは忙しない fact20: その馬房は娘らしいとしたら「それは生じ難くない」ということは確かである fact21: もしその馬房が生じ難くないがそれが忙しないとしたら最優秀賞でない ; $hypothesis$ = このＮＤは政治共同体でない ; $proof$ = 
fact12 -> int1: その馬房は犯し難いかまたは娘らしい; int1 & fact1 -> int2: その馬房は生じ難くない; int2 & fact18 -> int3: その馬房は生じ難くない一方で忙しない; int3 & fact21 -> int4: 「その馬房は最優秀賞でない」ということは正しい; int4 & fact10 -> int5: このＮＤは慕わしくてさらに最優秀賞である; int5 -> int6: このＮＤは慕わしい; fact17 -> int7: もしもこのＮＤが慕わしいならば政治共同体である; int6 & int7 -> hypothesis; __DISPROVED__
事実1: もし仮にその馬房が犯し難いかまたはそれは娘らしいかもしくはどちらもであるとしたらそれは生じ難くない
事実2: 「「犯し難くないしその上慕わしくない」ということは正しいということはない」ものはある
事実3: もしもある物は娘らしいしまた犯し難いとしたらそれは政治共同体であるということはない
事実4: このＮＤは生じ難いかそれは政治共同体であるか両方である
事実5: その馬房は使い難い
事実6: あのダイナミズムは娘らしくないがしかし開示する
事実7: このＮＤは最優秀賞だ
事実8: もし仮に生じ難くないものが忙しないならば娘らしい
事実9: もしその馬房が最優秀賞でないとするとこのＮＤは最優秀賞だ
事実10: もしその馬房が最優秀賞であるということはないとするとこのＮＤが慕わしいしその上それは最優秀賞である
事実11: その排尿障害は犯し難い
事実12: その馬房は犯し難い
事実13: 仮にあるものは生じ難くないとすると「それは娘らしいけれど犯し難くない」ということは正しくない
事実14: その馬房は慕わしいということはない
事実15: 仮にこのＮＤは最優秀賞であるかもしくは娘らしいとすれば犯し難くない
事実16: このＮＤは百二十三Ｉ摂取率でないが最優秀賞だ
事実17: 慕わしいものは政治共同体である
事実18: その馬房は忙しない
事実19: このＮＤは忙しない
事実20: その馬房は娘らしいとしたら「それは生じ難くない」ということは確かである
事実21: もしその馬房が生じ難くないがそれが忙しないとしたら最優秀賞でない

仮説: このＮＤは政治共同体でない
1. 事実12から、推論1: "その馬房は犯し難いかまたは娘らしい"が導かれる
2. 推論1と事実1から、推論2: "その馬房は生じ難くない"が導かれる
3. 推論2と事実18から、推論3: "その馬房は生じ難くない一方で忙しない"が導かれる
4. 推論3と事実21から、推論4: "「その馬房は最優秀賞でない」ということは正しい"が導かれる
5. 推論4と事実10から、推論5: "このＮＤは慕わしくてさらに最優秀賞である"が導かれる
6. 推論5から、推論6: "このＮＤは慕わしい"が導かれる
7. 事実17から、推論7: "もしもこのＮＤが慕わしいならば政治共同体である"が導かれる
8. 推論6と推論7から、仮説が否定される

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