あの編制は驚き入る
fact1: 仮に「非常口でないし繰らない」物があるとするとあの編制は驚き入る fact2: 「非常口でないしまた繰らない」ものはある
$facts$ = fact1: 仮に「非常口でないし繰らない」物があるとするとあの編制は驚き入る fact2: 「非常口でないしまた繰らない」ものはある ; $hypothesis$ = あの編制は驚き入る ; $proof$ = 
事実1: 仮に「非常口でないし繰らない」物があるとするとあの編制は驚き入る
事実2: 「非常口でないしまた繰らない」ものはある

仮説: あの編制は驚き入る