the Gaussianness occurs.
sent1: the fingering disgust happens. sent2: that not the abaxialness but the shrugging occurs is false if the inoffensiveness does not occur. sent3: the non-Gaussianness and/or the non-cataplasticness happens if the fingering disgust does not occur. sent4: if the fingering disgust does not occur then the abaxialness occurs. sent5: the dissimilarness does not occur if that the dissimilarness occurs but the fingering Froebel does not occur is not true. sent6: if that the fingering disgust and the non-cataplasticness happens is incorrect then the abaxialness occurs. sent7: the inoffensiveness does not occur if the callithump happens but the similarness does not occur. sent8: if the dissimilarness does not occur then the straw does not occur or the pedunculateness does not occur or both. sent9: if the gradualness does not occur the laicizing Babyrousa happens and the unretentiveness happens. sent10: if that the whist does not occur is not false the vacating manhole and the deep-seaness occurs. sent11: that the Gaussianness does not occur and/or the non-cataplasticness prevents that the Gaussianness happens. sent12: if the deep-seaness happens the gradualness does not occur and the fingering urge does not occur. sent13: if the strawing does not occur and/or the pedunculateness does not occur then the pedunculateness does not occur. sent14: that the dissimilarness happens but the fingering Froebel does not occur is false if the unretentiveness occurs. sent15: the non-pedunculateness brings about that both the callithump and the non-similarness happens. sent16: the Gaussianness occurs if the abaxialness occurs.
void -> assump1: Let's assume that the fingering disgust and the non-cataplasticness occurs.; assump1 -> int1: the cataplasticness does not occur.;
the Gaussianness does not occur.
$hypothesis$ = the Gaussianness occurs. ; $context$ = sent1: the fingering disgust happens. sent2: that not the abaxialness but the shrugging occurs is false if the inoffensiveness does not occur. sent3: the non-Gaussianness and/or the non-cataplasticness happens if the fingering disgust does not occur. sent4: if the fingering disgust does not occur then the abaxialness occurs. sent5: the dissimilarness does not occur if that the dissimilarness occurs but the fingering Froebel does not occur is not true. sent6: if that the fingering disgust and the non-cataplasticness happens is incorrect then the abaxialness occurs. sent7: the inoffensiveness does not occur if the callithump happens but the similarness does not occur. sent8: if the dissimilarness does not occur then the straw does not occur or the pedunculateness does not occur or both. sent9: if the gradualness does not occur the laicizing Babyrousa happens and the unretentiveness happens. sent10: if that the whist does not occur is not false the vacating manhole and the deep-seaness occurs. sent11: that the Gaussianness does not occur and/or the non-cataplasticness prevents that the Gaussianness happens. sent12: if the deep-seaness happens the gradualness does not occur and the fingering urge does not occur. sent13: if the strawing does not occur and/or the pedunculateness does not occur then the pedunculateness does not occur. sent14: that the dissimilarness happens but the fingering Froebel does not occur is false if the unretentiveness occurs. sent15: the non-pedunculateness brings about that both the callithump and the non-similarness happens. sent16: the Gaussianness occurs if the abaxialness occurs. ; $proof$ = 
void -> assump1: Let's assume that the fingering disgust and the non-cataplasticness occurs.; assump1 -> int1: the cataplasticness does not occur.; __UNKNOWN__