Probing the Natural Language Inference Task with Automated Reasoning Tools