Given a premise, retrieve a hypothesis that is entailed by the premise.A diving permit is required under Spanish law.
Spanish law requires a driving permit.
No driving permits are required by Spanish law.