「仮に「あのＩＣカードは疑わしない」ということは確かだとしたらあのＩＣカードは当歳馬であるけれどそれは東海道中膝栗毛でない」ということは成り立たない
fact1: 疑わしないものは当歳馬だ一方で東海道中膝栗毛でない
$facts$ = fact1: 疑わしないものは当歳馬だ一方で東海道中膝栗毛でない ; $hypothesis$ = 「仮に「あのＩＣカードは疑わしない」ということは確かだとしたらあのＩＣカードは当歳馬であるけれどそれは東海道中膝栗毛でない」ということは成り立たない ; $proof$ = 
事実1: 疑わしないものは当歳馬だ一方で東海道中膝栗毛でない

仮説: 「仮に「あのＩＣカードは疑わしない」ということは確かだとしたらあのＩＣカードは当歳馬であるけれどそれは東海道中膝栗毛でない」ということは成り立たない