both the burlesqueness and the derogation happens.
sent1: the lode does not occur if that the hysterics happens is true. sent2: the abbreviation does not occur. sent3: the tingeing VDU does not occur. sent4: that the cyanobacterialness does not occur prevents that the derogation does not occur. sent5: the bowing synod does not occur and/or the cyanobacterialness happens. sent6: if the fascista occurs and the lode does not occur the burlesqueness happens. sent7: if the detoxification occurs both the photometry and the non-Donneanness happens. sent8: the lode does not occur. sent9: that the distributing does not occur is prevented by that the philately does not occur. sent10: if the philately does not occur then the luck happens and the distributing happens. sent11: that the fascistaness but not the lode occurs is caused by that the hysterics occurs. sent12: that the bowing synod does not occur or the non-cyanobacterialness or both leads to that the derogation happens. sent13: the distributing occurs. sent14: the yielding does not occur. sent15: that the luck occurs is prevented by that both the Danishness and the bowing synod happens. sent16: the burlesqueness occurs if the fact that both the fascistaness and the lode occurs is true. sent17: the overhandness occurs if the tingeing intentness does not occur and/or the upgrading overbite does not occur. sent18: the hysterics occurs. sent19: the philately does not occur. sent20: if the yielding does not occur the fact that the Danishness happens hold. sent21: both the brewing and the non-Polynesianness occurs if the premenstrualness occurs.
sent20 & sent14 -> int1: the Danish occurs.; void -> assump1: Let's assume that the bowing synod happens.; int1 & assump1 -> int2: both the Danish and the bowing synod happens.; int2 & sent15 -> int3: the luck does not occur.; sent10 & sent19 -> int4: both the luck and the distributing happens.; int4 -> int5: the luck occurs.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the bowing synod does not occur.; int7 -> int8: the bowing synod does not occur and/or the cyanobacterialness does not occur.; int8 & sent12 -> int9: the derogation occurs.; sent11 & sent18 -> int10: the fascistaness happens but the lode does not occur.; sent6 & int10 -> int11: the burlesqueness happens.; int9 & int11 -> hypothesis;
that both the burlesque and the derogation happens is false.
 -> hypothesis;
$hypothesis$ = both the burlesqueness and the derogation happens. ; $context$ = sent1: the lode does not occur if that the hysterics happens is true. sent2: the abbreviation does not occur. sent3: the tingeing VDU does not occur. sent4: that the cyanobacterialness does not occur prevents that the derogation does not occur. sent5: the bowing synod does not occur and/or the cyanobacterialness happens. sent6: if the fascista occurs and the lode does not occur the burlesqueness happens. sent7: if the detoxification occurs both the photometry and the non-Donneanness happens. sent8: the lode does not occur. sent9: that the distributing does not occur is prevented by that the philately does not occur. sent10: if the philately does not occur then the luck happens and the distributing happens. sent11: that the fascistaness but not the lode occurs is caused by that the hysterics occurs. sent12: that the bowing synod does not occur or the non-cyanobacterialness or both leads to that the derogation happens. sent13: the distributing occurs. sent14: the yielding does not occur. sent15: that the luck occurs is prevented by that both the Danishness and the bowing synod happens. sent16: the burlesqueness occurs if the fact that both the fascistaness and the lode occurs is true. sent17: the overhandness occurs if the tingeing intentness does not occur and/or the upgrading overbite does not occur. sent18: the hysterics occurs. sent19: the philately does not occur. sent20: if the yielding does not occur the fact that the Danishness happens hold. sent21: both the brewing and the non-Polynesianness occurs if the premenstrualness occurs. ; $proof$ = 
sent20 & sent14 -> int1: the Danish occurs.; void -> assump1: Let's assume that the bowing synod happens.; int1 & assump1 -> int2: both the Danish and the bowing synod happens.; int2 & sent15 -> int3: the luck does not occur.; sent10 & sent19 -> int4: both the luck and the distributing happens.; int4 -> int5: the luck occurs.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the bowing synod does not occur.; int7 -> int8: the bowing synod does not occur and/or the cyanobacterialness does not occur.; int8 & sent12 -> int9: the derogation occurs.; sent11 & sent18 -> int10: the fascistaness happens but the lode does not occur.; sent6 & int10 -> int11: the burlesqueness happens.; int9 & int11 -> hypothesis; __PROVED__