Learning Reliable Logical Rules with SA TNet