Anchor: 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.
Entailed: The deleted provisions have been marked by strikeouts.
Contradiction: The deleted provisions have been doubleunderlined.
Contradiction: The musician has an drum set.
Contradiction: A person is lying under the tree on grass to be in the shade.
Contradiction: The man is dressed as a cop.
Contradiction: Adrin is from Faigon.