if the prelude happens then the unlikableness does not occur.
sent1: both the ground and the reeling occurs. sent2: that the raffling and the preluding occurs is brought about by that the coxing touched does not occur. sent3: that the unlikableness and the autarchicness happens prevents the prelude. sent4: the ambulacralness happens. sent5: that both the assassination and the carpellateness happens results in the disorderlyness. sent6: the conclusion happens and the tweeting handbook occurs. sent7: that the adoxography does not occur hold if the fact that the diamagneticness happens is right. sent8: the convolution happens. sent9: the coxing touched does not occur if that the non-perishableness and the violableness happens is false. sent10: the misrepresenting and the putting Mayflower happens. sent11: that both the unlikableness and the autarchicness occurs yields that the preluding occurs. sent12: that the zoicness happens results in that the coxing americium does not occur. sent13: the fact that the sighting does not occur hold if the nidifugousness happens. sent14: that the expensiveness does not occur is correct. sent15: the dragging range happens. sent16: the fact that the jihadiness happens hold. sent17: if the preluding occurs then the unlikableness happens. sent18: the driedness happens.
void -> assump1: Let's assume that the preluding happens.;
both the raffle and the ploy happens.
$hypothesis$ = if the prelude happens then the unlikableness does not occur. ; $context$ = sent1: both the ground and the reeling occurs. sent2: that the raffling and the preluding occurs is brought about by that the coxing touched does not occur. sent3: that the unlikableness and the autarchicness happens prevents the prelude. sent4: the ambulacralness happens. sent5: that both the assassination and the carpellateness happens results in the disorderlyness. sent6: the conclusion happens and the tweeting handbook occurs. sent7: that the adoxography does not occur hold if the fact that the diamagneticness happens is right. sent8: the convolution happens. sent9: the coxing touched does not occur if that the non-perishableness and the violableness happens is false. sent10: the misrepresenting and the putting Mayflower happens. sent11: that both the unlikableness and the autarchicness occurs yields that the preluding occurs. sent12: that the zoicness happens results in that the coxing americium does not occur. sent13: the fact that the sighting does not occur hold if the nidifugousness happens. sent14: that the expensiveness does not occur is correct. sent15: the dragging range happens. sent16: the fact that the jihadiness happens hold. sent17: if the preluding occurs then the unlikableness happens. sent18: the driedness happens. ; $proof$ = 
void -> assump1: Let's assume that the preluding happens.; __UNKNOWN__