Text: Then there are the legitimate programs that have been infected with subprograms called viruses . Viruses are crafty things that are cleverly (if perversely) designed to replicate themselves whenever their host program is run.
Entailment: Viruses can infect legitimate programs and replicate themselves when they are run.
Contradiction: No computer programs have viruses anymore.