とりあえず確定してるのは、

1.桐生ココは、7月1日でいなくなる。
2.引退後は、ホロメンはココの話題を放送でできない

で間違いないか？