that the piping does not occur and/or the submissiveness happens is not incorrect.
sent1: if that the diffusingness occurs is not incorrect that the spending godown occurs is correct. sent2: if the imprecation happens then the assuming blunder occurs. sent3: if the testifying excelsior does not occur the non-submissiveness and the piping occurs. sent4: both the aeronauticalness and the recessionariness occurs. sent5: if the fact that the testifying excelsior occurs and the recessionariness occurs is not true then the aeronauticalness does not occur. sent6: both the diffusing and the epizoanness happens. sent7: if the Yemeni occurs the carboniferousness does not occur and/or the rummy does not occur. sent8: the fact that the testifying excelsior and the recessionariness happens is not correct if the spending divisor does not occur. sent9: if the spending godown occurs and the assuming Pelagianism happens the spending divisor does not occur. sent10: the piping or the submissiveness or both happens. sent11: that the testifying buildup does not occur causes that the assuming Pelagianism happens and the seamanlikeness happens. sent12: the evangelisticness does not occur if the fact that the aeronauticalness happens and/or the recessionariness happens does not hold. sent13: the fact that the piping does not occur and/or the submissiveness occurs is incorrect if the aeronauticalness does not occur.
sent4 -> int1: the recessionariness occurs.;
the evangelisticness does not occur or the packaging happens or both.
$hypothesis$ = that the piping does not occur and/or the submissiveness happens is not incorrect. ; $context$ = sent1: if that the diffusingness occurs is not incorrect that the spending godown occurs is correct. sent2: if the imprecation happens then the assuming blunder occurs. sent3: if the testifying excelsior does not occur the non-submissiveness and the piping occurs. sent4: both the aeronauticalness and the recessionariness occurs. sent5: if the fact that the testifying excelsior occurs and the recessionariness occurs is not true then the aeronauticalness does not occur. sent6: both the diffusing and the epizoanness happens. sent7: if the Yemeni occurs the carboniferousness does not occur and/or the rummy does not occur. sent8: the fact that the testifying excelsior and the recessionariness happens is not correct if the spending divisor does not occur. sent9: if the spending godown occurs and the assuming Pelagianism happens the spending divisor does not occur. sent10: the piping or the submissiveness or both happens. sent11: that the testifying buildup does not occur causes that the assuming Pelagianism happens and the seamanlikeness happens. sent12: the evangelisticness does not occur if the fact that the aeronauticalness happens and/or the recessionariness happens does not hold. sent13: the fact that the piping does not occur and/or the submissiveness occurs is incorrect if the aeronauticalness does not occur. ; $proof$ = 
sent4 -> int1: the recessionariness occurs.; __UNKNOWN__