Anchor: This is because automated systems and records are fast replacing manual procedures and paper documents, which in many cases are no longer available as backup if automated systems should fail.
Entailed: Manual procedures are being replaced by automated systems.
Contradiction: Automated systems are replacing paper records but not manual procedures.
Contradiction: The dogs are indoors
Contradiction: A person is outside.
Contradiction: The demographic information was taken from the old census.
Contradiction: AN overweight man sits in a chair, drinking.