There are two reasons for this phenomenon: negations tend to be omitted in nonlogic-based features such as TF-IDF and the proportion of word overlap is high.
as logical formulas and proofs can handle negative clauses correctly, our method was able to predict the score correctly.