By default, when the system fails to find a proof for either entailment or inconsistency, it predicts the most frequent class (in our case, NEUTRAL).
nC relies heavily on lexical entailment resources in order to improve the recall of the theorem prover and model builder.