I'd be inclined to agree with Rich on this one. A fish that dies is quite often picked apart by the tankmates, even when they wouldn't have touched it otherwise. Platies aren't aggressive in nature so I don't think it would have attacked and eaten your cardinal.