その南北は眠たくないか霊生であるかまたは両方ともだ
fact1: 「驚愕しない」物はある fact2: もし仮に「ある物は驚愕しない」ということは事実だとするとその南北は眠たいということはないかそれは霊生である
$facts$ = fact1: 「驚愕しない」物はある fact2: もし仮に「ある物は驚愕しない」ということは事実だとするとその南北は眠たいということはないかそれは霊生である ; $hypothesis$ = その南北は眠たくないか霊生であるかまたは両方ともだ ; $proof$ = 
事実1: 「驚愕しない」物はある
事実2: もし仮に「ある物は驚愕しない」ということは事実だとするとその南北は眠たいということはないかそれは霊生である

仮説: その南北は眠たくないか霊生であるかまたは両方ともだ