that the pentathlon occurs if the atrioventricularness happens is false.
sent1: if the airstream does not occur the criticizing spokesman does not occur. sent2: if the duty does not occur then the self-service does not occur. sent3: if the fact that that the ether and/or the dolomiticness occurs is wrong is not wrong then the counterbombardment does not occur. sent4: the desertion occurs if the anaestheticness happens. sent5: the Vienneseness does not occur or the treachery happens or both. sent6: that the tryst does not occur is triggered by that the rhinoscopy does not occur. sent7: the outstroke does not occur. sent8: if the abjuring sculler occurs the pentathlon does not occur. sent9: the dolomiticness does not occur if that the atrioventricularness occurs and the counterbombardment happens is false. sent10: if the outstroke does not occur either the magnetizing starer does not occur or the backstroking happens or both. sent11: the magnetizing microspore does not occur. sent12: the bowing seraph happens if both the treachery and the weightyness occurs. sent13: the comatoseness happens and the consultancy does not occur. sent14: that the ether and/or the dolomiticness happens is not right if the supportiveness does not occur. sent15: that the magnetizing starer does not occur and/or that the backstroke occurs causes the non-supportiveness. sent16: the sortie and/or the criticizing golf occurs. sent17: that the atrioventricularness happens and the counterbombardment does not occur prevents that the pentathlon does not occur. sent18: the abjuring sculler and the swipe happens.
void -> assump1: Let's assume that the fact that the atrioventricularness happens hold.; sent10 & sent7 -> int1: the magnetizing starer does not occur or the backstroking happens or both.; sent15 & int1 -> int2: the supportiveness does not occur.; sent14 & int2 -> int3: that the fact that the ether occurs and/or the dolomiticness happens is not correct hold.; sent3 & int3 -> int4: the counterbombardment does not occur.; assump1 & int4 -> int5: the atrioventricularness but not the counterbombardment happens.; sent17 & int5 -> int6: the pentathlon happens.; [assump1] & int6 -> hypothesis;
the stemmaticness does not occur.
sent18 -> int7: the abjuring sculler happens.; sent8 & int7 -> int8: the fact that the pentathlon does not occur is not false.;
$hypothesis$ = that the pentathlon occurs if the atrioventricularness happens is false. ; $context$ = sent1: if the airstream does not occur the criticizing spokesman does not occur. sent2: if the duty does not occur then the self-service does not occur. sent3: if the fact that that the ether and/or the dolomiticness occurs is wrong is not wrong then the counterbombardment does not occur. sent4: the desertion occurs if the anaestheticness happens. sent5: the Vienneseness does not occur or the treachery happens or both. sent6: that the tryst does not occur is triggered by that the rhinoscopy does not occur. sent7: the outstroke does not occur. sent8: if the abjuring sculler occurs the pentathlon does not occur. sent9: the dolomiticness does not occur if that the atrioventricularness occurs and the counterbombardment happens is false. sent10: if the outstroke does not occur either the magnetizing starer does not occur or the backstroking happens or both. sent11: the magnetizing microspore does not occur. sent12: the bowing seraph happens if both the treachery and the weightyness occurs. sent13: the comatoseness happens and the consultancy does not occur. sent14: that the ether and/or the dolomiticness happens is not right if the supportiveness does not occur. sent15: that the magnetizing starer does not occur and/or that the backstroke occurs causes the non-supportiveness. sent16: the sortie and/or the criticizing golf occurs. sent17: that the atrioventricularness happens and the counterbombardment does not occur prevents that the pentathlon does not occur. sent18: the abjuring sculler and the swipe happens. ; $proof$ = 
void -> assump1: Let's assume that the fact that the atrioventricularness happens hold.; sent10 & sent7 -> int1: the magnetizing starer does not occur or the backstroking happens or both.; sent15 & int1 -> int2: the supportiveness does not occur.; sent14 & int2 -> int3: that the fact that the ether occurs and/or the dolomiticness happens is not correct hold.; sent3 & int3 -> int4: the counterbombardment does not occur.; assump1 & int4 -> int5: the atrioventricularness but not the counterbombardment happens.; sent17 & int5 -> int6: the pentathlon happens.; [assump1] & int6 -> hypothesis; __DISPROVED__