the pregnantness happens.
sent1: the fact that both the transgressing and the contradistinguishing mombin happens is incorrect if the contradistinguishing epigram does not occur. sent2: if the swagging does not occur then the stag does not occur. sent3: the contradistinguishing mombin does not occur. sent4: the pregnantness happens if the grapevine but not the stagging happens. sent5: the pick does not occur if the contradistinguishing think happens. sent6: if the swagging occurs then that the drill happens but the legitimation does not occur is not right. sent7: the contradistinguishing epigram and the respecting occurs if the pick does not occur. sent8: the stagging does not occur if the fact that the legitimation and the swag happens is not true. sent9: the devotional does not occur. sent10: that the swag does not occur is prevented by that the stagging happens. sent11: the contradistinguishing epigram does not occur. sent12: that the transgressing and the contradistinguishing mombin happens is false. sent13: the grapevine but not the respecting occurs. sent14: the necroticness does not occur. sent15: if the one-hitter occurs then the contradistinguishing think happens. sent16: if that the drilling does not occur is correct the fact that the legitimation and the swagging happens is not correct. sent17: if the contradistinguishing epigram does not occur that the transgressing but not the contradistinguishing mombin happens is not right. sent18: the pugilisticness occurs. sent19: that the transgressing but not the contradistinguishing mombin happens is triggered by that the drilling occurs.
void -> assump1: Let's assume that the drilling happens.; sent19 & assump1 -> int1: the transgressing but not the contradistinguishing mombin occurs.; sent17 & sent11 -> int2: that the transgressing occurs and the contradistinguishing mombin does not occur is not correct.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the drilling does not occur.; int4 & sent16 -> int5: that the legitimation and the swagging occurs is not true.; int5 & sent8 -> int6: the stagging does not occur.; sent13 -> int7: the grapevine happens.; int6 & int7 -> int8: the grapevine occurs but the stag does not occur.; int8 & sent4 -> hypothesis;
the pregnantness does not occur.
$hypothesis$ = the pregnantness happens. ; $context$ = sent1: the fact that both the transgressing and the contradistinguishing mombin happens is incorrect if the contradistinguishing epigram does not occur. sent2: if the swagging does not occur then the stag does not occur. sent3: the contradistinguishing mombin does not occur. sent4: the pregnantness happens if the grapevine but not the stagging happens. sent5: the pick does not occur if the contradistinguishing think happens. sent6: if the swagging occurs then that the drill happens but the legitimation does not occur is not right. sent7: the contradistinguishing epigram and the respecting occurs if the pick does not occur. sent8: the stagging does not occur if the fact that the legitimation and the swag happens is not true. sent9: the devotional does not occur. sent10: that the swag does not occur is prevented by that the stagging happens. sent11: the contradistinguishing epigram does not occur. sent12: that the transgressing and the contradistinguishing mombin happens is false. sent13: the grapevine but not the respecting occurs. sent14: the necroticness does not occur. sent15: if the one-hitter occurs then the contradistinguishing think happens. sent16: if that the drilling does not occur is correct the fact that the legitimation and the swagging happens is not correct. sent17: if the contradistinguishing epigram does not occur that the transgressing but not the contradistinguishing mombin happens is not right. sent18: the pugilisticness occurs. sent19: that the transgressing but not the contradistinguishing mombin happens is triggered by that the drilling occurs. ; $proof$ = 
void -> assump1: Let's assume that the drilling happens.; sent19 & assump1 -> int1: the transgressing but not the contradistinguishing mombin occurs.; sent17 & sent11 -> int2: that the transgressing occurs and the contradistinguishing mombin does not occur is not correct.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the drilling does not occur.; int4 & sent16 -> int5: that the legitimation and the swagging occurs is not true.; int5 & sent8 -> int6: the stagging does not occur.; sent13 -> int7: the grapevine happens.; int6 & int7 -> int8: the grapevine occurs but the stag does not occur.; int8 & sent4 -> hypothesis; __PROVED__