Scaling Relational Inference Using Proofs and Refutations