あの諸本は如何わしくない
fact1: もしもあの諸本が厳格化すればそれは如何わしい fact2: この廻り越しは厳格化する fact3: あの諸本は厳格化する
$facts$ = fact1: もしもあの諸本が厳格化すればそれは如何わしい fact2: この廻り越しは厳格化する fact3: あの諸本は厳格化する ; $hypothesis$ = あの諸本は如何わしくない ; $proof$ = 
事実1: もしもあの諸本が厳格化すればそれは如何わしい
事実2: この廻り越しは厳格化する
事実3: あの諸本は厳格化する

仮説: あの諸本は如何わしくない