Explainable Fact Checking by Combining Automated Rule Discovery with Probabilistic Answer Set Programming