この鮮人は羨ましいけど計算出来ない
fact1: 「「この鮮人は羨ましいけれど計算出来ない」ということは成り立たない」ということは成り立つ
$facts$ = fact1: 「「この鮮人は羨ましいけれど計算出来ない」ということは成り立たない」ということは成り立つ ; $hypothesis$ = この鮮人は羨ましいけど計算出来ない ; $proof$ = 
事実1: 「「この鮮人は羨ましいけれど計算出来ない」ということは成り立たない」ということは成り立つ

仮説: この鮮人は羨ましいけど計算出来ない