我正在写论文，需要双倍行距。在存在的情况下，语义推理规则似乎存在一些问题\doublespacing。当规则只有一个先行词时，间距没问题。但如果有多个先行词，规则上方的空间就会缩小。使用单倍行距，我没有看到这个问题。
我做错了什么吗？如果没有，有什么解决方法吗？我尝试在环境中排版规则singlespace，但没有帮助。
这是我的 MWE：
\documentclass[10pt]{article}
\usepackage{amsmath} %maths
\usepackage[utf8]{inputenc}
\usepackage[nodisplayskipstretch]{setspace}
\usepackage[inference]{semantic}
\doublespacing
\noindent
Blah blah blahhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhh
\begin{equation*}
\inference{h1}{c}
\end{equation*}
Blah blah blahhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhh
\begin{equation*}
\inference{h1\\h2\\h3\\h4}{c}
\end{equation*}
Blah blah blahhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhh
生成：
