You don't need an app to enter the store. You need an app to shop at the store. Presumably many classes of person enter the store for various non-shopping reasons without needing the app. It's not beyond the bounds of reason to imagine that for the non-shopping purpose of returning an unrelated item you may not need the shopping app to enter the store -- or, indeed, to imagine that for the product return flow the shoppers' entrance may not factor into the equation at all.

(I don't have a horse in this race, I just don't think you can usually apply the transitive property to the real world.)