「「もしも「ＥＵＣ‐ＪＰであるしその上投げ打つ」ということは誤りであるとしたら実現し易くない」ものはある」ということは誤りである
fact1: 仮に「「そのリブはＥＵＣ‐ＪＰであるしさらに投げ打つ」ということは正しい」ということは誤りであるならばそれは実現し易くない
$facts$ = fact1: 仮に「「そのリブはＥＵＣ‐ＪＰであるしさらに投げ打つ」ということは正しい」ということは誤りであるならばそれは実現し易くない ; $hypothesis$ = 「「もしも「ＥＵＣ‐ＪＰであるしその上投げ打つ」ということは誤りであるとしたら実現し易くない」ものはある」ということは誤りである ; $proof$ = 
事実1: 仮に「「そのリブはＥＵＣ‐ＪＰであるしさらに投げ打つ」ということは正しい」ということは誤りであるならばそれは実現し易くない

仮説: 「「もしも「ＥＵＣ‐ＪＰであるしその上投げ打つ」ということは誤りであるとしたら実現し易くない」ものはある」ということは誤りである