某公司计划需要招募几名工作人员。某校同时有5名同学A、B、C、D、E应聘,情况如下:(1)如果A应聘上,那么B或C也会应聘上。(2)如果B应聘上,那么D一定应聘上。(3)如果C应聘上,那么D一定应聘上。(4)只有A应聘上,E才能应聘上。(5)E应聘上了。用以上给出的命题符号,试用命题逻辑中的推理理论证明:D成功应聘上了。并给出推导过程。