Are these sentence forms correct?

[kentaku_sama]

I've been using a random sentence generator and this is some of the forms I learned:

彼は店に行ったに偉いない。　He must have went to the store.
彼は店に行ったははずがない。　He must not have gone to the store.　
彼は１度も店に行った事がない。He has never gone to the store.　

I want to make sure I'm not learning wrong.

[NileCat]

They are all correct except for one wrong kanji.
x偉　→　o違

[Hyperworm]

彼は店に行ったははずがない。

One too many は. 行ったはずがない。

[NileCat]

彼は店に行ったははずがない。

One too many は. 行ったはずがない。

Oops! My eyes! My eyes...

[Hyperworm]

Easy to miss

[kentaku_sama]

Oh, 分かった、間違いんですね。