あのサイクリングロードは改悛だ
fact1: あのサイクリングロードは当代だ fact2: 仮にあのサイクリングロードは当代であるなら改悛だ
$facts$ = fact1: あのサイクリングロードは当代だ fact2: 仮にあのサイクリングロードは当代であるなら改悛だ ; $hypothesis$ = あのサイクリングロードは改悛だ ; $proof$ = 
事実1: あのサイクリングロードは当代だ
事実2: 仮にあのサイクリングロードは当代であるなら改悛だ

仮説: あのサイクリングロードは改悛だ