Deakstadieđáhus: Faithful rule extraction for differentiable rule learning models