Multiple inference lines of single inference rule

1
2
\documentclass[12pt,·notitlepage]{article}¬
\usepackage{mathpartir}¬
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX

LaTeX