あのネロリは本屋さんである
fact1: もしもその完全親子会社関係が麗しいとしたらあのネロリは本屋さんである fact2: その完全親子会社関係は麗しい
$facts$ = fact1: もしもその完全親子会社関係が麗しいとしたらあのネロリは本屋さんである fact2: その完全親子会社関係は麗しい ; $hypothesis$ = あのネロリは本屋さんである ; $proof$ = 
事実1: もしもその完全親子会社関係が麗しいとしたらあのネロリは本屋さんである
事実2: その完全親子会社関係は麗しい

仮説: あのネロリは本屋さんである