あのリアゲートは超過するということはない
fact1: 「その裏通りは酷似する」ということは事実である fact2: 「あのリアゲートは酷似する」ということは事実である fact3: あのリアゲートが酷似するとしたら超過する
$facts$ = fact1: 「その裏通りは酷似する」ということは事実である fact2: 「あのリアゲートは酷似する」ということは事実である fact3: あのリアゲートが酷似するとしたら超過する ; $hypothesis$ = あのリアゲートは超過するということはない ; $proof$ = 
事実1: 「その裏通りは酷似する」ということは事実である
事実2: 「あのリアゲートは酷似する」ということは事実である
事実3: あのリアゲートが酷似するとしたら超過する

仮説: あのリアゲートは超過するということはない