BUR #25772 has been approved by @nonamethanks.
create implication colored_condom -> condom
create implication putting_on_condom -> condom
create implication drinking_from_condom -> condom
create implication shared_condom -> condom
create implication pouring_from_condom -> condom
Subset, branch off from forum #278997, see BUR #25771 for sabotaged condoms being implied to condom.