unicode_fol_kit.check_logical_entailment¶ unicode_fol_kit.check_logical_entailment(premises, conclusion, prover9_path)[source]¶ Checks if a conclusion entails from the defined premises by using prover9. Parameters: premises (list[Node]) conclusion (Node) prover9_path (str) Return type: bool