「その出雲大社はに過ぎるがしかし脊髄小脳変性症であるということはない」ということは誤っている
fact1: その出雲大社はに過ぎるけれどそれは脊髄小脳変性症でない
$facts$ = fact1: その出雲大社はに過ぎるけれどそれは脊髄小脳変性症でない ; $hypothesis$ = 「その出雲大社はに過ぎるがしかし脊髄小脳変性症であるということはない」ということは誤っている ; $proof$ = 
事実1: その出雲大社はに過ぎるけれどそれは脊髄小脳変性症でない

仮説: 「その出雲大社はに過ぎるがしかし脊髄小脳変性症であるということはない」ということは誤っている