「「この享楽化は共析炭素濃度でないけれど大根踊りである」ということは真実である」ということは正しくない
fact1: 「この享楽化は共析炭素濃度でないがしかし大根踊りだ」ということは成り立たない
$facts$ = fact1: 「この享楽化は共析炭素濃度でないがしかし大根踊りだ」ということは成り立たない ; $hypothesis$ = 「「この享楽化は共析炭素濃度でないけれど大根踊りである」ということは真実である」ということは正しくない ; $proof$ = 
事実1: 「この享楽化は共析炭素濃度でないがしかし大根踊りだ」ということは成り立たない

仮説: 「「この享楽化は共析炭素濃度でないけれど大根踊りである」ということは真実である」ということは正しくない