「もしも諸地域でないとしたら用心深くない」物はある
fact1: もしあの近著は諸地域であるということはないとしたら「それは用心深い」ということは成り立たない
$facts$ = fact1: もしあの近著は諸地域であるということはないとしたら「それは用心深い」ということは成り立たない ; $hypothesis$ = 「もしも諸地域でないとしたら用心深くない」物はある ; $proof$ = 
事実1: もしあの近著は諸地域であるということはないとしたら「それは用心深い」ということは成り立たない

仮説: 「もしも諸地域でないとしたら用心深くない」物はある