Premise: Within the text of the statements, provisions deleted as a result of other statements are marked with strikeouts and provisions affected by other statements are doubleunderlined.

Hypothesis: The deleted provisions have been doubleunderlined.
Relation: contradiction