Inference by Deiteration