Again, by applying inference rules, we obtain the following sets of premises P and subgoals G: Here, the two sub-goals G 5 and G 6 do not match any of the premises, so the attempted proof of B ′ ⇒ A ′ fails.
we set the baseline of the relatedness score to 5 when the gold entailment label was yes and to 3 when the label was no or unknown.