TeX source:
\{p\lor q,p\to r,q\to r\}\vdash r