Text: In 1635 the Japanese were forbidden, on pain of death, to attempt to travel abroad, and Japanese citizens already overseas were prevented from returning, in case they brought back subversive Christian doctrines.
Entailment: When the Japanese were forbidden to attempt to leave Japan, some Japanese people were already overseas.
Contradiction: There were no punishments for Japanese people who attempted to leave Japan in 1635.