With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Every European can travel freely within Europe. Every European is a person. Every person who has the right to live in Europe can travel freely within Europe.
text_B: Every European has the right to live in Europe.
neutral.