contradiction_judge
