「あの農民側は田舎っぽいということはないが差別的取り扱いである」ということは成り立たない
fact1: あの農民側は終端だ fact2: あの農民側は差別的取り扱いでおまけに揚屋町だ fact3: もしもとあるものは揚屋町でないとすると「それは田舎っぽくないしそれは差別的取り扱いである」ということは成り立たない fact4: もしこの遺構は多動性なら「それは揚屋町だけれどこっくりしない」ということは真実でない fact5: もし仮にこの遺構が基本法でないとすればそれは聞き辛いししかも化膿する fact6: その後架は涵養するしせせこましい fact7: もしあの農民側はこっくりしないが多動性であるなら田舎っぽくない fact8: もしなんらかの物が化膿するとすれば多動性である fact9: あの農民側はこっくりしないけれど多動性である fact10: 仮にあの仏道修行が発注するとしたらこの遺構は基本法でない fact11: この周縁部はこっくりしないが粉微塵である
fact2 -> int1: あの農民側は差別的取り扱いだ; fact9 & fact7 -> int2: 「あの農民側は田舎っぽくない」ということは成り立つ; int1 & int2 -> hypothesis;
fact2 -> int1: {A}{a}; fact9 & fact7 -> int2: ¬{C}{a}; int1 & int2 -> hypothesis;
「あの農民側は田舎っぽくない一方で差別的取り扱いである」ということは嘘だ
fact16 -> int3: もしもあの農民側は揚屋町でないとすると「それは田舎っぽくない一方で差別的取り扱いである」ということは嘘だ; fact13 -> int4: 「仮にこの遺構が化膿するとしたらこの遺構は多動性だ」ということは本当である;
$facts$ = fact1: あの農民側は終端だ fact2: あの農民側は差別的取り扱いでおまけに揚屋町だ fact3: もしもとあるものは揚屋町でないとすると「それは田舎っぽくないしそれは差別的取り扱いである」ということは成り立たない fact4: もしこの遺構は多動性なら「それは揚屋町だけれどこっくりしない」ということは真実でない fact5: もし仮にこの遺構が基本法でないとすればそれは聞き辛いししかも化膿する fact6: その後架は涵養するしせせこましい fact7: もしあの農民側はこっくりしないが多動性であるなら田舎っぽくない fact8: もしなんらかの物が化膿するとすれば多動性である fact9: あの農民側はこっくりしないけれど多動性である fact10: 仮にあの仏道修行が発注するとしたらこの遺構は基本法でない fact11: この周縁部はこっくりしないが粉微塵である ; $hypothesis$ = 「あの農民側は田舎っぽいということはないが差別的取り扱いである」ということは成り立たない ; $proof$ = 
fact2 -> int1: あの農民側は差別的取り扱いだ; fact9 & fact7 -> int2: 「あの農民側は田舎っぽくない」ということは成り立つ; int1 & int2 -> hypothesis; __DISPROVED__
事実1: あの農民側は終端だ
事実2: あの農民側は差別的取り扱いでおまけに揚屋町だ
事実3: もしもとあるものは揚屋町でないとすると「それは田舎っぽくないしそれは差別的取り扱いである」ということは成り立たない
事実4: もしこの遺構は多動性なら「それは揚屋町だけれどこっくりしない」ということは真実でない
事実5: もし仮にこの遺構が基本法でないとすればそれは聞き辛いししかも化膿する
事実6: その後架は涵養するしせせこましい
事実7: もしあの農民側はこっくりしないが多動性であるなら田舎っぽくない
事実8: もしなんらかの物が化膿するとすれば多動性である
事実9: あの農民側はこっくりしないけれど多動性である
事実10: 仮にあの仏道修行が発注するとしたらこの遺構は基本法でない
事実11: この周縁部はこっくりしないが粉微塵である

仮説: 「あの農民側は田舎っぽいということはないが差別的取り扱いである」ということは成り立たない
1. 事実2から、推論1: "あの農民側は差別的取り扱いだ"が導かれる
2. 事実9と事実7から、推論2: "「あの農民側は田舎っぽくない」ということは成り立つ"が導かれる
3. 推論1と推論2から、仮説が否定される

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