あのメイン・プールが光り輝くけどそれがカプセル化しないとしたらそれは呼び捨てない
fact1: もしとあるものは光り輝くがしかしカプセル化しないならそれは呼び捨てない
$facts$ = fact1: もしとあるものは光り輝くがしかしカプセル化しないならそれは呼び捨てない ; $hypothesis$ = あのメイン・プールが光り輝くけどそれがカプセル化しないとしたらそれは呼び捨てない ; $proof$ = 
事実1: もしとあるものは光り輝くがしかしカプセル化しないならそれは呼び捨てない

仮説: あのメイン・プールが光り輝くけどそれがカプセル化しないとしたらそれは呼び捨てない