「その市長さんは調べするけれど聞き違えない」ということは間違いである
fact1: あらゆる物は調べするけれど聞き違えない
$facts$ = fact1: あらゆる物は調べするけれど聞き違えない ; $hypothesis$ = 「その市長さんは調べするけれど聞き違えない」ということは間違いである ; $proof$ = 
事実1: あらゆる物は調べするけれど聞き違えない

仮説: 「その市長さんは調べするけれど聞き違えない」ということは間違いである