「もし真っ暗くないならば団体生活で話し込む」ものはある
fact1: もしこの岩屋が真っ暗くないならばそれは団体生活だし話し込む
$facts$ = fact1: もしこの岩屋が真っ暗くないならばそれは団体生活だし話し込む ; $hypothesis$ = 「もし真っ暗くないならば団体生活で話し込む」ものはある ; $proof$ = 
事実1: もしこの岩屋が真っ暗くないならばそれは団体生活だし話し込む

仮説: 「もし真っ暗くないならば団体生活で話し込む」ものはある