mnli premise: This information was then used to justify annual budget requests when additional virus detection software was needed. hypothesis: Additional virus detection software was not needed, and this information had nothing to do with annual budget requests.