Inference by Excluded Middle