Although all the facts are not known, it is perplexing how such a basic error involving billions of dollars could go undetected by the auditors.
The auditors have never failed to detect an error. 
mnli hypothesis: The auditors have never failed to detect an error.  premise: Although all the facts are not known, it is perplexing how such a basic error involving billions of dollars could go undetected by the auditors.