あのカラオケ屋は空恐ろしくない
fact1: もし「保てないししかもブックマークである」ものがあるとするとあのカラオケ屋は空恐ろしい fact2: なんらかのものは保てないがブックマークである
$facts$ = fact1: もし「保てないししかもブックマークである」ものがあるとするとあのカラオケ屋は空恐ろしい fact2: なんらかのものは保てないがブックマークである ; $hypothesis$ = あのカラオケ屋は空恐ろしくない ; $proof$ = 
事実1: もし「保てないししかもブックマークである」ものがあるとするとあのカラオケ屋は空恐ろしい
事実2: なんらかのものは保てないがブックマークである

仮説: あのカラオケ屋は空恐ろしくない