Contradicted

constructor(original: Proposition, new: Proposition, conflictType: ConflictType = ConflictType.Contradiction)