「その千編一律は言い争いであるか村内であるかどちらもだ」ということは偽だ
fact1: この捕り手は慰問するということはない fact2: もしその獣達が慌ただしくないかまたは維持向上でないかもしくは両方ならばその千編一律は言い争いだ fact3: その獣達は慰問するということはない fact4: 仮にその獣達が慰問するということはないとしたら慌ただしくないかまたは維持向上でないかまたは両方である
fact4 & fact3 -> int1: 「その獣達は慌ただしくないかもしくはそれは維持向上でないかあるいはどちらもである」ということは真実である; int1 & fact2 -> int2: その千編一律は言い争いだ; int2 -> hypothesis;
fact4 & fact3 -> int1: (¬{AA}{a} v ¬{AB}{a}); int1 & fact2 -> int2: {B}{b}; int2 -> hypothesis;
$facts$ = fact1: この捕り手は慰問するということはない fact2: もしその獣達が慌ただしくないかまたは維持向上でないかもしくは両方ならばその千編一律は言い争いだ fact3: その獣達は慰問するということはない fact4: 仮にその獣達が慰問するということはないとしたら慌ただしくないかまたは維持向上でないかまたは両方である ; $hypothesis$ = 「その千編一律は言い争いであるか村内であるかどちらもだ」ということは偽だ ; $proof$ = 
fact4 & fact3 -> int1: 「その獣達は慌ただしくないかもしくはそれは維持向上でないかあるいはどちらもである」ということは真実である; int1 & fact2 -> int2: その千編一律は言い争いだ; int2 -> hypothesis; __DISPROVED__
事実1: この捕り手は慰問するということはない
事実2: もしその獣達が慌ただしくないかまたは維持向上でないかもしくは両方ならばその千編一律は言い争いだ
事実3: その獣達は慰問するということはない
事実4: 仮にその獣達が慰問するということはないとしたら慌ただしくないかまたは維持向上でないかまたは両方である

仮説: 「その千編一律は言い争いであるか村内であるかどちらもだ」ということは偽だ
1. 事実4と事実3から、推論1: "「その獣達は慌ただしくないかもしくはそれは維持向上でないかあるいはどちらもである」ということは真実である"が導かれる
2. 推論1と事実2から、推論2: "その千編一律は言い争いだ"が導かれる
3. 推論2から、仮説が否定される

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