「もし合一しないとすれば曇り無しない」物はある
fact1: 仮にこの摂氏が合一しないとしたら曇り無しない fact2: 何かは不思議がらないなら「借地権者であるということはない」ということは間違いでない
fact1 -> hypothesis;
仮にあの国内線が不思議がらないならそれは借地権者でない
fact3 -> hypothesis;
$facts$ = fact1: 仮にこの摂氏が合一しないとしたら曇り無しない fact2: 何かは不思議がらないなら「借地権者であるということはない」ということは間違いでない ; $hypothesis$ = 「もし合一しないとすれば曇り無しない」物はある ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: 仮にこの摂氏が合一しないとしたら曇り無しない
事実2: 何かは不思議がらないなら「借地権者であるということはない」ということは間違いでない

仮説: 「もし合一しないとすれば曇り無しない」物はある
1. 事実1から、仮説が導かれる

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