the rule discovery models, although, their per-
formance often suffers due to limited knowledge
base coverage and/or the noise in rule extraction
from text (Kotonya and Toni, 2020a; Pezeshkpour
et al., 2020). Faithful explanations are useful as
mechanisms to dispute, debug, or advise (Jacovi
and Goldberg, 2021), which may aid a news agency
for advice, a user to dispute decisions, and a devel-
oper for model debugging in fact verification.
ProoFVer- Natural Logic Theorem Proving for Fact Verification