その集積場はパドックでない
fact1: あの認可決定は総合設計制度であるが甲斐甲斐しかない fact2: その集積場はパドックならば「その物質界はパドックである一方でそれは結び付き難くない」ということは成り立たない fact3: 仮に「その物質界は一戸建てでないし更にそれは結び付き難くない」ということは誤っているとしたら怖ーくない fact4: もしその物質界は一戸建てなら「その集積場は一戸建てでなくてかつそれは結び付き難くない」ということは誤りである fact5: もしもあの認可決定が一戸建てでないならその集積場はパドックでないし更にそれは怖ーくない fact6: その費用処理が生まれ難いなら結び付き難くない fact7: 「その集積場は一戸建てでないしそれに結び付き難くない」ということは誤りだとしたら怖ーくない fact8: 「その物質界は一戸建てだ」ということは正しいとすると「その集積場は一戸建てでない一方で結び付き難い」ということは成り立つということはない fact9: その集積場が結び付き難いならば総合設計制度でない fact10: 「あの認可決定は総合設計制度だ」ということは成り立つ fact11: もしもその物質界が総合設計制度でかつ怖ーいならばあの認可決定は一戸建てである fact12: その物質界は結び付き難い fact13: もしもその集積場はパドックであるとしたら「あの認可決定はパドックでないしかつ怖ーいということはない」ということは成り立たない fact14: 「その集積場は甲斐甲斐しいけど総合設計制度だということはない」ということは真実であるならばあの認可決定はパドックだ fact15: もしあの認可決定が総合設計制度だけれどそれは甲斐甲斐しかないなら「その物質界は一戸建てだ」ということは確かである fact16: 仮にその集積場が結び付き難いとするとそれは怖ーくない fact17: もしその集積場が甲斐甲斐しいけれどそれが結び付き難くないとしたらあの認可決定は一戸建てだ fact18: 仮にその集積場は一戸建てなら「あの認可決定は一戸建てであるけどそれは総合設計制度でない」ということは間違っている fact19: あの認可決定は総合設計制度だ一方で怖ーくない fact20: もし仮にその集積場は怖ーくないならば「パドックである」ということは偽でない
fact15 & fact1 -> int1: その物質界は一戸建てである; int1 & fact4 -> int2: 「その集積場は一戸建てでなくてそれは結び付き難いということはない」ということは間違いだ; int2 & fact7 -> int3: その集積場は怖ーいということはない; int3 & fact20 -> hypothesis;
その集積場はパドックでない
$facts$ = fact1: あの認可決定は総合設計制度であるが甲斐甲斐しかない fact2: その集積場はパドックならば「その物質界はパドックである一方でそれは結び付き難くない」ということは成り立たない fact3: 仮に「その物質界は一戸建てでないし更にそれは結び付き難くない」ということは誤っているとしたら怖ーくない fact4: もしその物質界は一戸建てなら「その集積場は一戸建てでなくてかつそれは結び付き難くない」ということは誤りである fact5: もしもあの認可決定が一戸建てでないならその集積場はパドックでないし更にそれは怖ーくない fact6: その費用処理が生まれ難いなら結び付き難くない fact7: 「その集積場は一戸建てでないしそれに結び付き難くない」ということは誤りだとしたら怖ーくない fact8: 「その物質界は一戸建てだ」ということは正しいとすると「その集積場は一戸建てでない一方で結び付き難い」ということは成り立つということはない fact9: その集積場が結び付き難いならば総合設計制度でない fact10: 「あの認可決定は総合設計制度だ」ということは成り立つ fact11: もしもその物質界が総合設計制度でかつ怖ーいならばあの認可決定は一戸建てである fact12: その物質界は結び付き難い fact13: もしもその集積場はパドックであるとしたら「あの認可決定はパドックでないしかつ怖ーいということはない」ということは成り立たない fact14: 「その集積場は甲斐甲斐しいけど総合設計制度だということはない」ということは真実であるならばあの認可決定はパドックだ fact15: もしあの認可決定が総合設計制度だけれどそれは甲斐甲斐しかないなら「その物質界は一戸建てだ」ということは確かである fact16: 仮にその集積場が結び付き難いとするとそれは怖ーくない fact17: もしその集積場が甲斐甲斐しいけれどそれが結び付き難くないとしたらあの認可決定は一戸建てだ fact18: 仮にその集積場は一戸建てなら「あの認可決定は一戸建てであるけどそれは総合設計制度でない」ということは間違っている fact19: あの認可決定は総合設計制度だ一方で怖ーくない fact20: もし仮にその集積場は怖ーくないならば「パドックである」ということは偽でない ; $hypothesis$ = その集積場はパドックでない ; $proof$ = 
fact15 & fact1 -> int1: その物質界は一戸建てである; int1 & fact4 -> int2: 「その集積場は一戸建てでなくてそれは結び付き難いということはない」ということは間違いだ; int2 & fact7 -> int3: その集積場は怖ーいということはない; int3 & fact20 -> hypothesis; __DISPROVED__
事実1: あの認可決定は総合設計制度であるが甲斐甲斐しかない
事実2: その集積場はパドックならば「その物質界はパドックである一方でそれは結び付き難くない」ということは成り立たない
事実3: 仮に「その物質界は一戸建てでないし更にそれは結び付き難くない」ということは誤っているとしたら怖ーくない
事実4: もしその物質界は一戸建てなら「その集積場は一戸建てでなくてかつそれは結び付き難くない」ということは誤りである
事実5: もしもあの認可決定が一戸建てでないならその集積場はパドックでないし更にそれは怖ーくない
事実6: その費用処理が生まれ難いなら結び付き難くない
事実7: 「その集積場は一戸建てでないしそれに結び付き難くない」ということは誤りだとしたら怖ーくない
事実8: 「その物質界は一戸建てだ」ということは正しいとすると「その集積場は一戸建てでない一方で結び付き難い」ということは成り立つということはない
事実9: その集積場が結び付き難いならば総合設計制度でない
事実10: 「あの認可決定は総合設計制度だ」ということは成り立つ
事実11: もしもその物質界が総合設計制度でかつ怖ーいならばあの認可決定は一戸建てである
事実12: その物質界は結び付き難い
事実13: もしもその集積場はパドックであるとしたら「あの認可決定はパドックでないしかつ怖ーいということはない」ということは成り立たない
事実14: 「その集積場は甲斐甲斐しいけど総合設計制度だということはない」ということは真実であるならばあの認可決定はパドックだ
事実15: もしあの認可決定が総合設計制度だけれどそれは甲斐甲斐しかないなら「その物質界は一戸建てだ」ということは確かである
事実16: 仮にその集積場が結び付き難いとするとそれは怖ーくない
事実17: もしその集積場が甲斐甲斐しいけれどそれが結び付き難くないとしたらあの認可決定は一戸建てだ
事実18: 仮にその集積場は一戸建てなら「あの認可決定は一戸建てであるけどそれは総合設計制度でない」ということは間違っている
事実19: あの認可決定は総合設計制度だ一方で怖ーくない
事実20: もし仮にその集積場は怖ーくないならば「パドックである」ということは偽でない

仮説: その集積場はパドックでない
1. 事実15と事実1から、推論1: "その物質界は一戸建てである"が導かれる
2. 推論1と事実4から、推論2: "「その集積場は一戸建てでなくてそれは結び付き難いということはない」ということは間違いだ"が導かれる
3. 推論2と事実7から、推論3: "その集積場は怖ーいということはない"が導かれる
4. 推論3と事実20から、仮説が否定される

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