>>48870576It is trademarked, but I don't think that matters much. The question is if this is copyright, and I would say that she has plausible deniability in this. If you were to use their logo then it would be clear copyright.
Think of all the anime that use a company logo, but with a different name. If they used both the logo and the name then there would be trouble.