the unscrewing aphrodisia happens.
sent1: that not the reading Hymen but the deflation occurs is caused by the stemmer. sent2: if that the unscrewing aphrodisia and the schottische occurs is false then the unscrewing aphrodisia does not occur. sent3: that the instructorship occurs is brought about by that the dislodging does not occur and the capturing testacean does not occur. sent4: either the deafening liposome occurs or the reading Hymen occurs or both if the capturing earthwork does not occur. sent5: that not the reading Hymen but the deflation happens results in that the deafening liposome does not occur. sent6: the deafening liposome prevents that the unscrewing aphrodisia does not occur. sent7: that the chiropractic does not occur is brought about by that the instructorship occurs and the basting occurs. sent8: if the schottische happens then the capturing earthwork does not occur. sent9: the basting occurs and the cantonalness occurs if the myelinicness does not occur. sent10: if the schottische occurs and/or the reading neutralization happens the capturing earthwork does not occur. sent11: that the stemmer and the immunotherapy occurs is brought about by that the chiropractic does not occur. sent12: the decrepitation does not occur. sent13: if the reading neutralization does not occur then that the unscrewing aphrodisia and the schottische happens does not hold. sent14: either the ECCM occurs or the capturing fluorescence does not occur or both. sent15: the unscrewing aphrodisia happens if the reading Hymen happens. sent16: either the ECCM occurs or the capturing fluorescence happens or both. sent17: if the decrepitation does not occur then the dislodging does not occur and the capturing testacean does not occur. sent18: the reading neutralization is triggered by either that the ECCM occurs or that the capturing fluorescence does not occur or both.
sent18 & sent14 -> int1: that the reading neutralization occurs is right.; int1 -> int2: the schottische occurs or the reading neutralization happens or both.; sent10 & int2 -> int3: the capturing earthwork does not occur.; sent4 & int3 -> int4: either the deafening liposome happens or the reading Hymen occurs or both.; int4 & sent6 & sent15 -> hypothesis;
the unscrewing aphrodisia does not occur.
sent17 & sent12 -> int5: the dislodging does not occur and the capturing testacean does not occur.; sent3 & int5 -> int6: the instructorship happens.;
$hypothesis$ = the unscrewing aphrodisia happens. ; $context$ = sent1: that not the reading Hymen but the deflation occurs is caused by the stemmer. sent2: if that the unscrewing aphrodisia and the schottische occurs is false then the unscrewing aphrodisia does not occur. sent3: that the instructorship occurs is brought about by that the dislodging does not occur and the capturing testacean does not occur. sent4: either the deafening liposome occurs or the reading Hymen occurs or both if the capturing earthwork does not occur. sent5: that not the reading Hymen but the deflation happens results in that the deafening liposome does not occur. sent6: the deafening liposome prevents that the unscrewing aphrodisia does not occur. sent7: that the chiropractic does not occur is brought about by that the instructorship occurs and the basting occurs. sent8: if the schottische happens then the capturing earthwork does not occur. sent9: the basting occurs and the cantonalness occurs if the myelinicness does not occur. sent10: if the schottische occurs and/or the reading neutralization happens the capturing earthwork does not occur. sent11: that the stemmer and the immunotherapy occurs is brought about by that the chiropractic does not occur. sent12: the decrepitation does not occur. sent13: if the reading neutralization does not occur then that the unscrewing aphrodisia and the schottische happens does not hold. sent14: either the ECCM occurs or the capturing fluorescence does not occur or both. sent15: the unscrewing aphrodisia happens if the reading Hymen happens. sent16: either the ECCM occurs or the capturing fluorescence happens or both. sent17: if the decrepitation does not occur then the dislodging does not occur and the capturing testacean does not occur. sent18: the reading neutralization is triggered by either that the ECCM occurs or that the capturing fluorescence does not occur or both. ; $proof$ = 
sent18 & sent14 -> int1: that the reading neutralization occurs is right.; int1 -> int2: the schottische occurs or the reading neutralization happens or both.; sent10 & int2 -> int3: the capturing earthwork does not occur.; sent4 & int3 -> int4: either the deafening liposome happens or the reading Hymen occurs or both.; int4 & sent6 & sent15 -> hypothesis; __PROVED__