Internal auditors may be required to verify that the equipment or software pass the specified tests.
The software cannot be checked by external auditors.
mnli hypothesis: The software cannot be checked by external auditors. premise: Internal auditors may be required to verify that the equipment or software pass the specified tests.