Small usage example code for EXITEMENT open platform's alignment-based EDA (Entailment Decision Algorithm)