contradictedCount

Number of propositions that contradicted existing ones