「この松陰は早過ぎる」ということは確かだ
fact1: この松陰は分かり難い一方でそれは上らない fact2: この松陰が分かり難い一方で上るということはないならば早過ぎるということはない
$facts$ = fact1: この松陰は分かり難い一方でそれは上らない fact2: この松陰が分かり難い一方で上るということはないならば早過ぎるということはない ; $hypothesis$ = 「この松陰は早過ぎる」ということは確かだ ; $proof$ = 
事実1: この松陰は分かり難い一方でそれは上らない
事実2: この松陰が分かり難い一方で上るということはないならば早過ぎるということはない

仮説: 「この松陰は早過ぎる」ということは確かだ