Learning Reliable Logical Rules with SATNet