符号化下列命题，并构造推理证明。一个人只有努力，才能获得成功;每个人或者获得成功，或者曾经失败过;有些人未曾失败过，所以有些人很努力。