if the protestantness occurs the filming does not occur and the endemicness does not occur.
sent1: the Anglicism does not occur and the diplomaticness does not occur. sent2: that the intransitiveness occurs and the give happens triggers the non-endemicness. sent3: the intransitive happens. sent4: the centennial occurs. sent5: the hula occurs. sent6: if the protestantness does not occur then not the film but the brooching dosemeter occurs. sent7: if the brooching racquetball does not occur that both the non-endemicness and the derivationalness happens is not right. sent8: the derivationalness happens and the brooching racquetball occurs. sent9: the giving happens. sent10: that the fledging happens is not correct. sent11: that the diminishing tediousness occurs is not incorrect. sent12: the derivationalness does not occur if both the film and the protestantness occurs. sent13: the brooching racquetball occurs.
void -> assump1: Let's assume that the film happens.; void -> assump2: Let's assume that the protestantness occurs.; assump1 & assump2 -> int1: both the film and the protestantness happens.; int1 & sent12 -> int2: the derivationalness does not occur.; sent8 -> int3: the derivationalness happens.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the film does not occur.; sent3 & sent9 -> int6: the intransitiveness happens and the give happens.; sent2 & int6 -> int7: the endemic does not occur.; int5 & int7 -> int8: the film does not occur and the endemic does not occur.; [assump2] & int8 -> hypothesis;
the brooching dosemeter occurs.
$hypothesis$ = if the protestantness occurs the filming does not occur and the endemicness does not occur. ; $context$ = sent1: the Anglicism does not occur and the diplomaticness does not occur. sent2: that the intransitiveness occurs and the give happens triggers the non-endemicness. sent3: the intransitive happens. sent4: the centennial occurs. sent5: the hula occurs. sent6: if the protestantness does not occur then not the film but the brooching dosemeter occurs. sent7: if the brooching racquetball does not occur that both the non-endemicness and the derivationalness happens is not right. sent8: the derivationalness happens and the brooching racquetball occurs. sent9: the giving happens. sent10: that the fledging happens is not correct. sent11: that the diminishing tediousness occurs is not incorrect. sent12: the derivationalness does not occur if both the film and the protestantness occurs. sent13: the brooching racquetball occurs. ; $proof$ = 
void -> assump1: Let's assume that the film happens.; void -> assump2: Let's assume that the protestantness occurs.; assump1 & assump2 -> int1: both the film and the protestantness happens.; int1 & sent12 -> int2: the derivationalness does not occur.; sent8 -> int3: the derivationalness happens.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the film does not occur.; sent3 & sent9 -> int6: the intransitiveness happens and the give happens.; sent2 & int6 -> int7: the endemic does not occur.; int5 & int7 -> int8: the film does not occur and the endemic does not occur.; [assump2] & int8 -> hypothesis; __PROVED__