premise: Sexually Transmitted Infections ( including AIDS ) and true is true and true is true and true is true and true is true and true is true
hypothesis: Sexually Transmitted Infections do not include AIDS , which is terminal .