そのコーデュロイはフォローしない
fact1: この小倉は二十一Ａである fact2: 仮にこの小倉が二十一Ａならばあのコーデュロイはフォローする
$facts$ = fact1: この小倉は二十一Ａである fact2: 仮にこの小倉が二十一Ａならばあのコーデュロイはフォローする ; $hypothesis$ = そのコーデュロイはフォローしない ; $proof$ = 
事実1: この小倉は二十一Ａである
事実2: 仮にこの小倉が二十一Ａならばあのコーデュロイはフォローする

仮説: そのコーデュロイはフォローしない