「もしも「群立するということはないかまたは照れ臭い」ということは誤りであるならば出易くない」ものはある
fact1: もし「その同相は群立しないかもしくは照れ臭いか両方ともだ」ということは嘘であるとすれば出易くない fact2: 「もし「群立するかまたは照れ臭いか両方である」ということは間違っていれば出易くない」物はある fact3: もしもその同相は群立しないかあるいは照れ臭いかもしくは両方だとするとそれは出易くない
fact1 -> hypothesis;
$facts$ = fact1: もし「その同相は群立しないかもしくは照れ臭いか両方ともだ」ということは嘘であるとすれば出易くない fact2: 「もし「群立するかまたは照れ臭いか両方である」ということは間違っていれば出易くない」物はある fact3: もしもその同相は群立しないかあるいは照れ臭いかもしくは両方だとするとそれは出易くない ; $hypothesis$ = 「もしも「群立するということはないかまたは照れ臭い」ということは誤りであるならば出易くない」ものはある ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: もし「その同相は群立しないかもしくは照れ臭いか両方ともだ」ということは嘘であるとすれば出易くない
事実2: 「もし「群立するかまたは照れ臭いか両方である」ということは間違っていれば出易くない」物はある
事実3: もしもその同相は群立しないかあるいは照れ臭いかもしくは両方だとするとそれは出易くない

仮説: 「もしも「群立するということはないかまたは照れ臭い」ということは誤りであるならば出易くない」ものはある
1. 事実1から、仮説が導かれる

よって、仮説が証明されました。