Αποστολή με SMS: Faithful rule extraction for differentiable rule learning models