そのパブは成立し難くないけど凝結する
fact1: もしもそのパブは見え辛くないならば「それは成立し難くない一方で凝結する」ということは間違いである fact2: そのパブは見え辛くない
$facts$ = fact1: もしもそのパブは見え辛くないならば「それは成立し難くない一方で凝結する」ということは間違いである fact2: そのパブは見え辛くない ; $hypothesis$ = そのパブは成立し難くないけど凝結する ; $proof$ = 
事実1: もしもそのパブは見え辛くないならば「それは成立し難くない一方で凝結する」ということは間違いである
事実2: そのパブは見え辛くない

仮説: そのパブは成立し難くないけど凝結する