そのチェック・オフは易さである
fact1: そのチェック・オフは易さである fact2: その通行禁止は易さである
fact1 -> hypothesis;
fact1 -> hypothesis;
$facts$ = fact1: そのチェック・オフは易さである fact2: その通行禁止は易さである ; $hypothesis$ = そのチェック・オフは易さである ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: そのチェック・オフは易さである
事実2: その通行禁止は易さである

仮説: そのチェック・オフは易さである
1. 事実1から、仮説が導かれる

よって、仮説が証明されました。