Como inferir B sabendo 'B → A', exclusividade de A e existência de B?

Regra: B → A
1. Todo B é A.
2. A é exclusivo (um único titular).
3. Como existe B, o titular de B deve ser esse único A.
Conclusão: O titular de A também detém B.