「その強化等は遣り難いかそれは向け始める」ということは成り立たない
fact1: どれもこれもはＵＣＩでない fact2: その強化等は遣り難くてまた祝である
fact2 -> int1: 「その強化等は遣り難い」ということは真実だ; int1 -> hypothesis;
「その強化等は遣り難いかまたはそれは向け始める」ということは偽である
fact3 -> int2: その教育社会学はＵＣＩでない;
$facts$ = fact1: どれもこれもはＵＣＩでない fact2: その強化等は遣り難くてまた祝である ; $hypothesis$ = 「その強化等は遣り難いかそれは向け始める」ということは成り立たない ; $proof$ = 
fact2 -> int1: 「その強化等は遣り難い」ということは真実だ; int1 -> hypothesis; __DISPROVED__
事実1: どれもこれもはＵＣＩでない
事実2: その強化等は遣り難くてまた祝である

仮説: 「その強化等は遣り難いかそれは向け始める」ということは成り立たない
1. 事実2から、推論1: "「その強化等は遣り難い」ということは真実だ"が導かれる
2. 推論1から、仮説が否定される

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