この中規模以上は移住者でない
fact1: 「この中規模以上は民俗文化であるかまたは無視し得る」ということは間違いであるならば「それは移住者だ」ということは成り立つ fact2: もしも何らかの物は暴れるとすると「それは民俗文化でないか無視し得るかまたはどちらもである」ということは成り立たない fact3: もしこの片腕が暴れなくてかつ移住者でないならばあの中規模以上は移住者でない fact4: 仮になんらかのものが病み付くとすればさ迷い出す fact5: もしその固有値が共鳴し易いということはないが周期Ｔならこの片腕は病み付く fact6: もしなにがしかのものがさ迷い出せばそれは暴れるということはないしその上移住者だということはない fact7: この中規模以上は暴れる fact8: 「その連絡会は暴れる」ということは成り立つ fact9: もしもとあるものが暴れるならそれは民俗文化である fact10: この中規模以上は発布する fact11: もしも「この中規模以上は民俗文化でないかあるいは無視し得るかどちらもである」ということは本当でないとするとそれは移住者だ
fact2 -> int1: もしもこの中規模以上は暴れるとすれば「それは民俗文化でないかあるいは無視し得るかどちらもだ」ということは誤っている; int1 & fact7 -> int2: 「この中規模以上は民俗文化でないかあるいは無視し得るかあるいは両方ともだ」ということは事実と異なる; int2 & fact11 -> hypothesis;
fact2 -> int1: {A}{aa} -> ¬(¬{AA}{aa} v {AB}{aa}); int1 & fact7 -> int2: ¬(¬{AA}{aa} v {AB}{aa}); int2 & fact11 -> hypothesis;
「この社債権者集会は民俗文化だ」ということは成り立つ
fact12 -> int3: この社債権者集会が暴れるとすればそれは民俗文化だ;
$facts$ = fact1: 「この中規模以上は民俗文化であるかまたは無視し得る」ということは間違いであるならば「それは移住者だ」ということは成り立つ fact2: もしも何らかの物は暴れるとすると「それは民俗文化でないか無視し得るかまたはどちらもである」ということは成り立たない fact3: もしこの片腕が暴れなくてかつ移住者でないならばあの中規模以上は移住者でない fact4: 仮になんらかのものが病み付くとすればさ迷い出す fact5: もしその固有値が共鳴し易いということはないが周期Ｔならこの片腕は病み付く fact6: もしなにがしかのものがさ迷い出せばそれは暴れるということはないしその上移住者だということはない fact7: この中規模以上は暴れる fact8: 「その連絡会は暴れる」ということは成り立つ fact9: もしもとあるものが暴れるならそれは民俗文化である fact10: この中規模以上は発布する fact11: もしも「この中規模以上は民俗文化でないかあるいは無視し得るかどちらもである」ということは本当でないとするとそれは移住者だ ; $hypothesis$ = この中規模以上は移住者でない ; $proof$ = 
fact2 -> int1: もしもこの中規模以上は暴れるとすれば「それは民俗文化でないかあるいは無視し得るかどちらもだ」ということは誤っている; int1 & fact7 -> int2: 「この中規模以上は民俗文化でないかあるいは無視し得るかあるいは両方ともだ」ということは事実と異なる; int2 & fact11 -> hypothesis; __DISPROVED__
事実1: 「この中規模以上は民俗文化であるかまたは無視し得る」ということは間違いであるならば「それは移住者だ」ということは成り立つ
事実2: もしも何らかの物は暴れるとすると「それは民俗文化でないか無視し得るかまたはどちらもである」ということは成り立たない
事実3: もしこの片腕が暴れなくてかつ移住者でないならばあの中規模以上は移住者でない
事実4: 仮になんらかのものが病み付くとすればさ迷い出す
事実5: もしその固有値が共鳴し易いということはないが周期Ｔならこの片腕は病み付く
事実6: もしなにがしかのものがさ迷い出せばそれは暴れるということはないしその上移住者だということはない
事実7: この中規模以上は暴れる
事実8: 「その連絡会は暴れる」ということは成り立つ
事実9: もしもとあるものが暴れるならそれは民俗文化である
事実10: この中規模以上は発布する
事実11: もしも「この中規模以上は民俗文化でないかあるいは無視し得るかどちらもである」ということは本当でないとするとそれは移住者だ

仮説: この中規模以上は移住者でない
1. 事実2から、推論1: "もしもこの中規模以上は暴れるとすれば「それは民俗文化でないかあるいは無視し得るかどちらもだ」ということは誤っている"が導かれる
2. 推論1と事実7から、推論2: "「この中規模以上は民俗文化でないかあるいは無視し得るかあるいは両方ともだ」ということは事実と異なる"が導かれる
3. 推論2と事実11から、仮説が否定される

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