if the dinging lithographer occurs then the outgeneraling hairball happens and the hamming does not occur.
sent1: the congratulating does not occur. sent2: the headquartering soiree occurs if that the dinging lithographer does not occur and the tapering does not occur is not correct. sent3: the tapering happens. sent4: the phylogeneticness does not occur. sent5: if the fact that the congratulating does not occur hold then the outgeneraling hairball happens and the Manx happens. sent6: that that the dinging lithographer does not occur and the tapering does not occur does not hold if the Manx does not occur is true. sent7: if the affliction happens and the Ionicness occurs the emancipation does not occur. sent8: the fact that if the tapering and the dinging lithographer happens the hamming does not occur is not incorrect. sent9: that the dinging glasnost does not occur triggers that not the Manx but the centesimalness happens. sent10: if that that the hamming does not occur and the outgeneraling hairball does not occur is not false is wrong the coo happens. sent11: the polyploid does not occur. sent12: the Manxness happens. sent13: the dinging corolla happens. sent14: that both the periodonticness and the non-heuristicness happens is brought about by the Honduranness. sent15: that the outgeneraling Kazakhstani does not occur prevents that the antiferromagneticness does not occur. sent16: the abatement happens. sent17: if the congratulating does not occur the Manx happens. sent18: the toasting happens.
void -> assump1: Let's assume that the dinging lithographer occurs.; sent3 & assump1 -> int1: both the tapering and the dinging lithographer occurs.; int1 & sent8 -> int2: the hamming does not occur.; sent5 & sent1 -> int3: both the outgeneraling hairball and the Manxness happens.; int3 -> int4: the outgeneraling hairball happens.; int2 & int4 -> int5: the outgeneraling hairball but not the hamming happens.; [assump1] & int5 -> hypothesis;
the headquartering soiree and the cooing happens.
$hypothesis$ = if the dinging lithographer occurs then the outgeneraling hairball happens and the hamming does not occur. ; $context$ = sent1: the congratulating does not occur. sent2: the headquartering soiree occurs if that the dinging lithographer does not occur and the tapering does not occur is not correct. sent3: the tapering happens. sent4: the phylogeneticness does not occur. sent5: if the fact that the congratulating does not occur hold then the outgeneraling hairball happens and the Manx happens. sent6: that that the dinging lithographer does not occur and the tapering does not occur does not hold if the Manx does not occur is true. sent7: if the affliction happens and the Ionicness occurs the emancipation does not occur. sent8: the fact that if the tapering and the dinging lithographer happens the hamming does not occur is not incorrect. sent9: that the dinging glasnost does not occur triggers that not the Manx but the centesimalness happens. sent10: if that that the hamming does not occur and the outgeneraling hairball does not occur is not false is wrong the coo happens. sent11: the polyploid does not occur. sent12: the Manxness happens. sent13: the dinging corolla happens. sent14: that both the periodonticness and the non-heuristicness happens is brought about by the Honduranness. sent15: that the outgeneraling Kazakhstani does not occur prevents that the antiferromagneticness does not occur. sent16: the abatement happens. sent17: if the congratulating does not occur the Manx happens. sent18: the toasting happens. ; $proof$ = 
void -> assump1: Let's assume that the dinging lithographer occurs.; sent3 & assump1 -> int1: both the tapering and the dinging lithographer occurs.; int1 & sent8 -> int2: the hamming does not occur.; sent5 & sent1 -> int3: both the outgeneraling hairball and the Manxness happens.; int3 -> int4: the outgeneraling hairball happens.; int2 & int4 -> int5: the outgeneraling hairball but not the hamming happens.; [assump1] & int5 -> hypothesis; __PROVED__