We set this problem as a variant of the Textual Entailment (TE) recognition task (Mehdad et al., 2010b;Adler et al., 2012;Berant et al., 2011).
in this way, we can take advantage of the weights to make a more conservative decision in pruning the entailment chains.