that that the excitation does not occur and the equatorial does not occur is not true is true if that the ammoniticness does not occur is correct.
sent1: the excitation does not occur. sent2: that the excitation occurs causes that the depiction does not occur and the puppetry does not occur. sent3: that the equatorialness occurs prevents the non-ammoniticness. sent4: if the ammoniticness does not occur the fact that not the excitation but the equatorialness occurs is incorrect. sent5: the fact that the unreliableness does not occur and the warming does not occur does not hold. sent6: the staving does not occur. sent7: the worstedness does not occur. sent8: the deformation does not occur and the vitrioling Dagan does not occur. sent9: that the excitation but not the equatorialness happens does not hold. sent10: the familialness happens if the trafficking flagfish does not occur. sent11: the fact that both the excitation and the non-equatorialness occurs is false if the ammoniticness does not occur. sent12: the excitation does not occur and the equatorial does not occur if the ammoniticness does not occur. sent13: that the excitation does not occur and the equatorial does not occur does not hold if the ammoniticness occurs. sent14: both the vitrioling skip and the equatorialness occurs if the exaltation does not occur. sent15: if the genesis does not occur then the fact that the vitrioling ambulatory occurs hold.
void -> assump2: Let's assume that the excitation does not occur and the equatorial does not occur.; assump2 -> int1: the equatorial does not occur.;
the fact that the depiction does not occur and the puppetry does not occur is right.
$hypothesis$ = that that the excitation does not occur and the equatorial does not occur is not true is true if that the ammoniticness does not occur is correct. ; $context$ = sent1: the excitation does not occur. sent2: that the excitation occurs causes that the depiction does not occur and the puppetry does not occur. sent3: that the equatorialness occurs prevents the non-ammoniticness. sent4: if the ammoniticness does not occur the fact that not the excitation but the equatorialness occurs is incorrect. sent5: the fact that the unreliableness does not occur and the warming does not occur does not hold. sent6: the staving does not occur. sent7: the worstedness does not occur. sent8: the deformation does not occur and the vitrioling Dagan does not occur. sent9: that the excitation but not the equatorialness happens does not hold. sent10: the familialness happens if the trafficking flagfish does not occur. sent11: the fact that both the excitation and the non-equatorialness occurs is false if the ammoniticness does not occur. sent12: the excitation does not occur and the equatorial does not occur if the ammoniticness does not occur. sent13: that the excitation does not occur and the equatorial does not occur does not hold if the ammoniticness occurs. sent14: both the vitrioling skip and the equatorialness occurs if the exaltation does not occur. sent15: if the genesis does not occur then the fact that the vitrioling ambulatory occurs hold. ; $proof$ = 
void -> assump2: Let's assume that the excitation does not occur and the equatorial does not occur.; assump2 -> int1: the equatorial does not occur.; __UNKNOWN__