あの養殖場は寝過ごさない
fact1: あの養殖場は寝過ごす fact2: あのＳＱＬステートメントは寝過ごす
$facts$ = fact1: あの養殖場は寝過ごす fact2: あのＳＱＬステートメントは寝過ごす ; $hypothesis$ = あの養殖場は寝過ごさない ; $proof$ = 
事実1: あの養殖場は寝過ごす
事実2: あのＳＱＬステートメントは寝過ごす

仮説: あの養殖場は寝過ごさない