普通逻辑
滨海市女子排球队有1号、3号、4号6号、9号和12号等六名主力队员。在长期的训练和实际比赛中，教练对主力队员之间的最佳配合总结了如下几条规律： ①要是4号上场，6号也要上场； ②只有1号不上场，3号才不上场； ③要么3号上场，要么6号上场； ④如果9号和12号同时上场，则4号也要上场。现在需要1号和12号同时上场。 请问：为了保持球场上的最佳阵营，9号该不该上场？将推理过程的形式写出来。
题目
滨海市女子排球队有1号、3号、4号6号、9号和12号等六名主力队员。在长期的训练和实际比赛中，教练对主力队员之间的最佳配合总结了如下几条规律： ①要是4号上场，6号也要上场； ②只有1号不上场，3号才不上场； ③要么3号上场，要么6号上场； ④如果9号和12号同时上场，则4号也要上场。现在需要1号和12号同时上场。 请问：为了保持球场上的最佳阵营，9号该不该上场？将推理过程的形式写出来。