「この手抜き工事は取り易くない」ということは本当だ
fact1: この諸都市がトリプルＡだとしたらこの手抜き工事は取り易い fact2: この諸都市はトリプルＡである
$facts$ = fact1: この諸都市がトリプルＡだとしたらこの手抜き工事は取り易い fact2: この諸都市はトリプルＡである ; $hypothesis$ = 「この手抜き工事は取り易くない」ということは本当だ ; $proof$ = 
事実1: この諸都市がトリプルＡだとしたらこの手抜き工事は取り易い
事実2: この諸都市はトリプルＡである

仮説: 「この手抜き工事は取り易くない」ということは本当だ