MonaLog: a Lightweight System for Natural Language Inference Based on Monotonicity See readme in src folder.