that both the planking and the guiltiness happens is brought about by that the arriving Pergamum does not occur.
sent1: the nominalness happens and the normotensiveness occurs if the imperialness does not occur. sent2: if the reverse happens the bractealness does not occur. sent3: the animation occurs if the arriving Pergamum but not the planking happens. sent4: the interposing Northumberland occurs. sent5: that the method happens but the interposing Switzerland does not occur is not right if the fact that the bractealness does not occur hold. sent6: the interposing establishmentarianism happens. sent7: the guiltiness does not occur if that that the method occurs and the guiltiness occurs is not incorrect does not hold. sent8: the guiltiness occurs. sent9: if the fraternalness does not occur then the fact that the decentness happens hold. sent10: the Transfiguration occurs. sent11: the non-illogicalness yields that the stubbing torticollis occurs and the knee-lengthness occurs. sent12: the fact that the guiltiness does not occur is true if that the method but not the interposing Switzerland occurs does not hold. sent13: that the planking and the Transfiguration occurs is brought about by that the guiltiness does not occur. sent14: the Mozartianness and the literate happens if the countersubversion does not occur. sent15: the planking and the guiltiness occurs if the arriving Pergamum happens.
void -> assump2: Let's assume that the planking does not occur.;
the animation occurs.
$hypothesis$ = that both the planking and the guiltiness happens is brought about by that the arriving Pergamum does not occur. ; $context$ = sent1: the nominalness happens and the normotensiveness occurs if the imperialness does not occur. sent2: if the reverse happens the bractealness does not occur. sent3: the animation occurs if the arriving Pergamum but not the planking happens. sent4: the interposing Northumberland occurs. sent5: that the method happens but the interposing Switzerland does not occur is not right if the fact that the bractealness does not occur hold. sent6: the interposing establishmentarianism happens. sent7: the guiltiness does not occur if that that the method occurs and the guiltiness occurs is not incorrect does not hold. sent8: the guiltiness occurs. sent9: if the fraternalness does not occur then the fact that the decentness happens hold. sent10: the Transfiguration occurs. sent11: the non-illogicalness yields that the stubbing torticollis occurs and the knee-lengthness occurs. sent12: the fact that the guiltiness does not occur is true if that the method but not the interposing Switzerland occurs does not hold. sent13: that the planking and the Transfiguration occurs is brought about by that the guiltiness does not occur. sent14: the Mozartianness and the literate happens if the countersubversion does not occur. sent15: the planking and the guiltiness occurs if the arriving Pergamum happens. ; $proof$ = 
void -> assump2: Let's assume that the planking does not occur.; __UNKNOWN__