考虑找一下走掉的条件:若\(x\)第\(1\)天走掉，那么就说明\(x\)没有知道任何咒语。若\(x\)第\(2\)天走掉，那么就说明应该存在一个\(y\)，按照\(x\)已知的信息，\(y\)应该没有掌握咒语，但是\(y\)第一天没走。若\(x\)第\(3\)天走掉，那么就说明应该存在一个\((y,z)\)