The only thing I can remember that could serve as proof was already submited to the court, i.e. the fact that Bill testified in another court case, about AI not paying their employees, because the company was completely broke. And I don't think the employees got any money back. IMHO if that's not accepted as proof than the US justice is real sh*t!.
@jorkany
"...but if you consider OS4 to be teh TRUE Amiga then I don't understand what difference it makes who owns the rights to slap the name "Amiga" on it."
Regarding the "TRUE Amiga", I've learned with time that the MOS community is very much like the AOS4 one, at least now, and as far as product is concerned my only pity is that I don't have a PPC card otherwise I'd surely install AOS3.9, AOS4 and MOS.
Regarding AInc. ...
Anyone that has followed the Amiga history since 99 knows they've only used the "name" to get funds from investors, and they're only interest in the real Amiga stuff was getting developers for free.
If they get AOS4 they'll pretty fast turn it into some x86 run anywhere crap and change the API to force coders to use it.
Last note about morality: I consider playing dirt tactics regarding software not as bad as not paying your employees, so still prefer Hyperion.