Abduction and the explanation of anomalies: the case of proof by contradiction