the grouse does liquidize and it is metallurgical.
sent1: the fact that the omnirange is a kind of a stairwell and it does skim omnirange is not true if that the grouse does not liquidize is right. sent2: the grouse is metallurgical. sent3: the fact that the omnirange is metallurgical and does skim omnirange does not hold if the grouse does not liquidize. sent4: something is a kind of a stairwell and skims omnirange. sent5: the dj does deduce cords if that the birefringence is a kind of non-Palladian thing that is not a gaiety does not hold. sent6: the dj does liquidize. sent7: the birefringence does not unbar contrariness if that it unbar contrariness and deduces dj is not right. sent8: if something deduces cords then it is ducal. sent9: the omnirange is a kind of a Rhyacotriton if the fact that the dj is not ducal is not correct. sent10: that that the birefringence is a kind of non-Palladian thing that is not a kind of a gaiety is wrong is right if it does not unbar contrariness. sent11: the birefringence is a Rhyacotriton. sent12: there exists something such that the fact that it is metallurgical and is postwar does not hold. sent13: the fact that something liquidizes and it is metallurgical does not hold if it is not postwar. sent14: the fact that the birefringence is not a Rhyacotriton is not wrong if the dj is not postwar. sent15: something is not postwar and/or it unbars prazosin if it is a Rhyacotriton.
void -> assump1: Let's assume that the grouse does not liquidize.; sent1 & assump1 -> int1: that the omnirange is a stairwell and does skim omnirange is false.; int1 -> int2: there exists something such that that it is a stairwell and it skims omnirange is not true.;
the fact that the grouse liquidizes and it is metallurgical is wrong.
sent13 -> int3: that if that the grouse is not postwar is correct then the fact that that the grouse does liquidize and it is metallurgical hold is incorrect is not false.; sent15 -> int4: the omnirange is not postwar or it unbars prazosin or both if it is a Rhyacotriton.; sent8 -> int5: if the dj does deduce cords it is ducal.;
$hypothesis$ = the grouse does liquidize and it is metallurgical. ; $context$ = sent1: the fact that the omnirange is a kind of a stairwell and it does skim omnirange is not true if that the grouse does not liquidize is right. sent2: the grouse is metallurgical. sent3: the fact that the omnirange is metallurgical and does skim omnirange does not hold if the grouse does not liquidize. sent4: something is a kind of a stairwell and skims omnirange. sent5: the dj does deduce cords if that the birefringence is a kind of non-Palladian thing that is not a gaiety does not hold. sent6: the dj does liquidize. sent7: the birefringence does not unbar contrariness if that it unbar contrariness and deduces dj is not right. sent8: if something deduces cords then it is ducal. sent9: the omnirange is a kind of a Rhyacotriton if the fact that the dj is not ducal is not correct. sent10: that that the birefringence is a kind of non-Palladian thing that is not a kind of a gaiety is wrong is right if it does not unbar contrariness. sent11: the birefringence is a Rhyacotriton. sent12: there exists something such that the fact that it is metallurgical and is postwar does not hold. sent13: the fact that something liquidizes and it is metallurgical does not hold if it is not postwar. sent14: the fact that the birefringence is not a Rhyacotriton is not wrong if the dj is not postwar. sent15: something is not postwar and/or it unbars prazosin if it is a Rhyacotriton. ; $proof$ = 
void -> assump1: Let's assume that the grouse does not liquidize.; sent1 & assump1 -> int1: that the omnirange is a stairwell and does skim omnirange is false.; int1 -> int2: there exists something such that that it is a stairwell and it skims omnirange is not true.; __UNKNOWN__