その集中部は村作りでないかあるいはそれは懐かしくないかあるいは両方である
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: もし仮にその集中部は聞きするとすれば「村作りでないかまたは懐かしくない」ということは成り立たない
void -> assump1: 以下のように仮定する。その集中部は教育機会均等である; fact16 & assump1 -> int1: この柔和は国土面積である; int1 & fact23 -> int2: この柔和は大暴れする; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> int4: その集中部は教育機会均等でない; int4 & fact20 -> int5: その集中部は教育機会均等でない一方で見聞きする; int5 & fact10 -> int6: その集中部は作劇である; int6 & fact1 -> int7: その集中部は聞きする; int7 & fact29 -> 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: もしもその集中部が不味くないけど教育機会均等であるとするとそれは児童・生徒数だ fact25: その集中部は格好良い fact26: もしその集中部が聞きするとしたらそれは村作りだ fact27: 仮にその集中部が村作りであるとしたらこの柔和は懐かしい fact28: その集中部はうねる fact29: もし仮にその集中部は聞きするとすれば「村作りでないかまたは懐かしくない」ということは成り立たない ; $hypothesis$ = その集中部は村作りでないかあるいはそれは懐かしくないかあるいは両方である ; $proof$ = 
void -> assump1: 以下のように仮定する。その集中部は教育機会均等である; fact16 & assump1 -> int1: この柔和は国土面積である; int1 & fact23 -> int2: この柔和は大暴れする; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> int4: その集中部は教育機会均等でない; int4 & fact20 -> int5: その集中部は教育機会均等でない一方で見聞きする; int5 & fact10 -> int6: その集中部は作劇である; int6 & fact1 -> int7: その集中部は聞きする; int7 & fact29 -> 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: この柔和は国土面積であるなら大暴れする
事実24: もしもその集中部が不味くないけど教育機会均等であるとするとそれは児童・生徒数だ
事実25: その集中部は格好良い
事実26: もしその集中部が聞きするとしたらそれは村作りだ
事実27: 仮にその集中部が村作りであるとしたらこの柔和は懐かしい
事実28: その集中部はうねる
事実29: もし仮にその集中部は聞きするとすれば「村作りでないかまたは懐かしくない」ということは成り立たない

仮説: その集中部は村作りでないかあるいはそれは懐かしくないかあるいは両方である
1. 仮定1: 以下のように仮定する。その集中部は教育機会均等である
2. 事実16と仮定1から、推論1: "この柔和は国土面積である"が導かれる
3. 推論1と事実23から、推論2: "この柔和は大暴れする"が導かれる
4. 推論2と事実4から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その集中部は教育機会均等でない"が導かれる
6. 推論4と事実20から、推論5: "その集中部は教育機会均等でない一方で見聞きする"が導かれる
7. 推論5と事実10から、推論6: "その集中部は作劇である"が導かれる
8. 推論6と事実1から、推論7: "その集中部は聞きする"が導かれる
9. 推論7と事実29から、仮説が否定される

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