「その矢太夫は尊いかもしくはそれは共同学習であるかもしくは両方ともである」ということは嘘である
fact1: 「あの式辞は尊い」ということは事実である fact2: あの式辞は完全性である fact3: もし「あの式辞は完全性だ」ということは誤りでないならばその矢太夫は共同学習だ fact4: 仮にあの式辞は完全性であるということはないとすれば「その矢太夫は尊いかもしくは共同学習であるかもしくはどちらもだ」ということは偽だ
fact3 & fact2 -> int1: 「その矢太夫は共同学習だ」ということは事実である; int1 -> hypothesis;
「その矢太夫は尊いかもしくは共同学習であるかあるいは両方ともだ」ということは成り立たない
$facts$ = fact1: 「あの式辞は尊い」ということは事実である fact2: あの式辞は完全性である fact3: もし「あの式辞は完全性だ」ということは誤りでないならばその矢太夫は共同学習だ fact4: 仮にあの式辞は完全性であるということはないとすれば「その矢太夫は尊いかもしくは共同学習であるかもしくはどちらもだ」ということは偽だ ; $hypothesis$ = 「その矢太夫は尊いかもしくはそれは共同学習であるかもしくは両方ともである」ということは嘘である ; $proof$ = 
fact3 & fact2 -> int1: 「その矢太夫は共同学習だ」ということは事実である; int1 -> hypothesis; __DISPROVED__
事実1: 「あの式辞は尊い」ということは事実である
事実2: あの式辞は完全性である
事実3: もし「あの式辞は完全性だ」ということは誤りでないならばその矢太夫は共同学習だ
事実4: 仮にあの式辞は完全性であるということはないとすれば「その矢太夫は尊いかもしくは共同学習であるかもしくはどちらもだ」ということは偽だ

仮説: 「その矢太夫は尊いかもしくはそれは共同学習であるかもしくは両方ともである」ということは嘘である
1. 事実3と事実2から、推論1: "「その矢太夫は共同学習だ」ということは事実である"が導かれる
2. 推論1から、仮説が否定される

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