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