With the premise 'Sexually Transmitted Infections (including AIDS)', is 'Sexually Transmitted Infections include AIDS.' a logical derivative?
Sexually Transmitted Infections (including AIDS)###Sexually Transmitted Infections include AIDS.