You are likely correct as far as 1.3 is concerned, but how can registering an unregistered trademark be a breach of a contract?
They're still bound by the settlement, which limits their use of the Amiga marks to certain marks in certain contexts, trying to register another Amiga mark wouldn't be any different than distributing 1.3 - i.e. trying to use IP not covered by the settlement.
Btw., "this mark is no longer registered by Amiga" is not neccessarily the same as "this mark is no longer owned by Amiga" (it probably is, in this case - just saying "registering" and "owning" a mark is not the same.