括号里面的可以单独提出来当作条件来用吗？

（p->q)->(q->r)，r->p,证：q->p
(1)q p(附加前提）
(2)p->q P
(3)q->r P

可以吧