「この平均μは受け入れ易くないかまたは拍手喝采しないか両方である」ということは偽だ
fact1: もし仮にあの文法性判断テストが受け入れ易いならこの平均μは健康長寿でないかそれは拍手喝采しないか両方ともである fact2: この平均μは拍手喝采するかあるいはそれは健康長寿であるということはない fact3: この平均μは健康長寿でないかもしくは拍手喝采するか両方だ fact4: 「あの文法性判断テストは分離するということはないけどしどけない」ということは本当でないとするとこの平均μは健康長寿だ fact5: この平均μは受け入れ易いかもしくはそれは健康長寿でないかあるいは両方ともだ fact6: あの文法性判断テストは健康長寿だ fact7: もし仮にあの文法性判断テストが健康長寿ならばこの平均μは受け入れ易いかそれは拍手喝采しないかどちらもだ fact8: この平均μは救助出来る fact9: もし仮にこの平均μが健康長寿ならばあの文法性判断テストは受け入れ易くないかあるいは拍手喝采するかまたは両方ともである fact10: もし仮にあの文法性判断テストが拍手喝采するとしたらこの平均μは受け入れ易くないかそれは健康長寿でない fact11: あの文法性判断テストは拍手喝采しないか健康長寿であるかまたは両方である fact12: あの排便状態は健康長寿だ fact13: 仮になんらかのものは健康長寿ならば「受け入れ易くないかあるいは拍手喝采しない」ということは嘘だ fact14: あの文法性判断テストは健康長寿であるかあるいは拍手喝采しない fact15: もし仮に何かは儚しならば「それは分離しないがしかししどけない」ということは偽である fact16: この平均μは受け入れ易くないかあるいはそれは健康長寿でない fact17: あの文法性判断テストは拍手喝采するかそれは健康長寿でない fact18: あの文法性判断テストは受け入れ易いかまたは健康長寿でないかあるいは両方だ fact19: もしもあの文法性判断テストが健康長寿であるとしたらこの平均μは受け入れ易くないかもしくは拍手喝采しない fact20: もし仮に「あの文法性判断テストは拍手喝采する」ということは成り立つとしたらこの平均μは健康長寿だということはないか受け入れ易くないかもしくは両方である
fact19 & fact6 -> hypothesis;
「「この平均μは受け入れ易くないかまたは拍手喝采しないかまたはどちらもである」ということは間違いだ」ということは真実である
fact21 -> int1: もし仮にこの平均μは健康長寿なら「それは受け入れ易くないかまたは拍手喝采するということはないかどちらもである」ということは成り立たない; fact23 -> int2: 仮にあの文法性判断テストは儚しとしたら「「分離しないしその上しどけない」ということは事実だ」ということは成り立たない;
$facts$ = fact1: もし仮にあの文法性判断テストが受け入れ易いならこの平均μは健康長寿でないかそれは拍手喝采しないか両方ともである fact2: この平均μは拍手喝采するかあるいはそれは健康長寿であるということはない fact3: この平均μは健康長寿でないかもしくは拍手喝采するか両方だ fact4: 「あの文法性判断テストは分離するということはないけどしどけない」ということは本当でないとするとこの平均μは健康長寿だ fact5: この平均μは受け入れ易いかもしくはそれは健康長寿でないかあるいは両方ともだ fact6: あの文法性判断テストは健康長寿だ fact7: もし仮にあの文法性判断テストが健康長寿ならばこの平均μは受け入れ易いかそれは拍手喝采しないかどちらもだ fact8: この平均μは救助出来る fact9: もし仮にこの平均μが健康長寿ならばあの文法性判断テストは受け入れ易くないかあるいは拍手喝采するかまたは両方ともである fact10: もし仮にあの文法性判断テストが拍手喝采するとしたらこの平均μは受け入れ易くないかそれは健康長寿でない fact11: あの文法性判断テストは拍手喝采しないか健康長寿であるかまたは両方である fact12: あの排便状態は健康長寿だ fact13: 仮になんらかのものは健康長寿ならば「受け入れ易くないかあるいは拍手喝采しない」ということは嘘だ fact14: あの文法性判断テストは健康長寿であるかあるいは拍手喝采しない fact15: もし仮に何かは儚しならば「それは分離しないがしかししどけない」ということは偽である fact16: この平均μは受け入れ易くないかあるいはそれは健康長寿でない fact17: あの文法性判断テストは拍手喝采するかそれは健康長寿でない fact18: あの文法性判断テストは受け入れ易いかまたは健康長寿でないかあるいは両方だ fact19: もしもあの文法性判断テストが健康長寿であるとしたらこの平均μは受け入れ易くないかもしくは拍手喝采しない fact20: もし仮に「あの文法性判断テストは拍手喝采する」ということは成り立つとしたらこの平均μは健康長寿だということはないか受け入れ易くないかもしくは両方である ; $hypothesis$ = 「この平均μは受け入れ易くないかまたは拍手喝采しないか両方である」ということは偽だ ; $proof$ = 
fact19 & fact6 -> hypothesis; __DISPROVED__
事実1: もし仮にあの文法性判断テストが受け入れ易いならこの平均μは健康長寿でないかそれは拍手喝采しないか両方ともである
事実2: この平均μは拍手喝采するかあるいはそれは健康長寿であるということはない
事実3: この平均μは健康長寿でないかもしくは拍手喝采するか両方だ
事実4: 「あの文法性判断テストは分離するということはないけどしどけない」ということは本当でないとするとこの平均μは健康長寿だ
事実5: この平均μは受け入れ易いかもしくはそれは健康長寿でないかあるいは両方ともだ
事実6: あの文法性判断テストは健康長寿だ
事実7: もし仮にあの文法性判断テストが健康長寿ならばこの平均μは受け入れ易いかそれは拍手喝采しないかどちらもだ
事実8: この平均μは救助出来る
事実9: もし仮にこの平均μが健康長寿ならばあの文法性判断テストは受け入れ易くないかあるいは拍手喝采するかまたは両方ともである
事実10: もし仮にあの文法性判断テストが拍手喝采するとしたらこの平均μは受け入れ易くないかそれは健康長寿でない
事実11: あの文法性判断テストは拍手喝采しないか健康長寿であるかまたは両方である
事実12: あの排便状態は健康長寿だ
事実13: 仮になんらかのものは健康長寿ならば「受け入れ易くないかあるいは拍手喝采しない」ということは嘘だ
事実14: あの文法性判断テストは健康長寿であるかあるいは拍手喝采しない
事実15: もし仮に何かは儚しならば「それは分離しないがしかししどけない」ということは偽である
事実16: この平均μは受け入れ易くないかあるいはそれは健康長寿でない
事実17: あの文法性判断テストは拍手喝采するかそれは健康長寿でない
事実18: あの文法性判断テストは受け入れ易いかまたは健康長寿でないかあるいは両方だ
事実19: もしもあの文法性判断テストが健康長寿であるとしたらこの平均μは受け入れ易くないかもしくは拍手喝采しない
事実20: もし仮に「あの文法性判断テストは拍手喝采する」ということは成り立つとしたらこの平均μは健康長寿だということはないか受け入れ易くないかもしくは両方である

仮説: 「この平均μは受け入れ易くないかまたは拍手喝采しないか両方である」ということは偽だ
1. 事実19と事実6から、仮説が否定される

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