Given the following premise:
It is given that NAME_1 NAME_2 NAME_3 NAME_4 are good friends of NAME_5 NAME_3 NAME_6.
NAME_7 is a good friend of NAME_6.

We can deduce that NAME_7 is a friend of NAME_5 as well.

Does this deduction follow the premise? Explain your reasoning. Your answer should have exactly 3 paragraphs. Make sure that the last paragraph starts with the word "become" and that each paragraph is separated by two new lines.
user