the Beguine occurs.
sent1: the disinvestment and the Commerce occurs. sent2: the apologeticsness happens. sent3: that the glittering does not occur causes that the harmonization and the Beguine occurs. sent4: the magistracy happens but the constraint does not occur if the hold-down does not occur. sent5: that the monocarpicness does not occur and the transpose does not occur is triggered by that the Mozartianness does not occur. sent6: if both the Beguine and the glitter occurs then the sublittoralness does not occur. sent7: if the disinvestment happens then the sublittoralness happens. sent8: the glittering happens. sent9: that the hold-down does not occur but the admeasuring gibbsite occurs is triggered by the non-monocarpicness. sent10: either the Beguine occurs or the sublittoralness does not occur or both if that the glittering does not occur is right. sent11: the superfetation occurs and the thermohydrometricness happens. sent12: the convexness happens. sent13: the Commerce occurs. sent14: the Beguine is caused by either the Beguine or the non-sublittoralness or both. sent15: if the caucusing Lippmann happens the Commerce happens. sent16: if the constraint does not occur then that the Commerce does not occur and the caucusing Lippmann does not occur is not right.
void -> assump1: Let's assume that the fact that the Beguine occurs is right.; assump1 & sent8 -> int1: the Beguine occurs and the glitter occurs.; int1 & sent6 -> int2: the sublittoralness does not occur.; sent1 -> int3: the disinvestment happens.; sent7 & int3 -> int4: the sublittoralness happens.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis;
the Beguine happens.
$hypothesis$ = the Beguine occurs. ; $context$ = sent1: the disinvestment and the Commerce occurs. sent2: the apologeticsness happens. sent3: that the glittering does not occur causes that the harmonization and the Beguine occurs. sent4: the magistracy happens but the constraint does not occur if the hold-down does not occur. sent5: that the monocarpicness does not occur and the transpose does not occur is triggered by that the Mozartianness does not occur. sent6: if both the Beguine and the glitter occurs then the sublittoralness does not occur. sent7: if the disinvestment happens then the sublittoralness happens. sent8: the glittering happens. sent9: that the hold-down does not occur but the admeasuring gibbsite occurs is triggered by the non-monocarpicness. sent10: either the Beguine occurs or the sublittoralness does not occur or both if that the glittering does not occur is right. sent11: the superfetation occurs and the thermohydrometricness happens. sent12: the convexness happens. sent13: the Commerce occurs. sent14: the Beguine is caused by either the Beguine or the non-sublittoralness or both. sent15: if the caucusing Lippmann happens the Commerce happens. sent16: if the constraint does not occur then that the Commerce does not occur and the caucusing Lippmann does not occur is not right. ; $proof$ = 
void -> assump1: Let's assume that the fact that the Beguine occurs is right.; assump1 & sent8 -> int1: the Beguine occurs and the glitter occurs.; int1 & sent6 -> int2: the sublittoralness does not occur.; sent1 -> int3: the disinvestment happens.; sent7 & int3 -> int4: the sublittoralness happens.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis; __DISPROVED__