the harangue happens.
sent1: the preserving myriad and the dinning occurs. sent2: the non-usualness is prevented by that the digestive and the reactiveness happens. sent3: the pas does not occur. sent4: if the uniting and the blemishing catamaran happens the inactiveness does not occur. sent5: the somatosensoriness happens. sent6: the serving happens. sent7: that the Thai but not the lulling Kigali happens results in the non-Laputanness. sent8: the scoring occurs and the Ghanaianness does not occur. sent9: the inactiveness happens. sent10: the lulling NUWC does not occur if the abjuring Kigali occurs but the blemishing catamaran does not occur. sent11: the uniting happens. sent12: the abjuring Kigali happens. sent13: if the dinning occurs but the lulling NUWC does not occur then the haranguing occurs. sent14: the harangue does not occur if that the blemishing catamaran does not occur and the harangue happens is not right. sent15: the preserving myriad occurs.
void -> assump1: Let's assume that the blemishing catamaran happens.; sent11 & assump1 -> int1: both the uniting and the blemishing catamaran happens.; int1 & sent4 -> int2: the inactiveness does not occur.; int2 & sent9 -> int3: this is contradiction.; [assump1] & int3 -> int4: the blemishing catamaran does not occur.; int4 & sent12 -> int5: the abjuring Kigali but not the blemishing catamaran occurs.; int5 & sent10 -> int6: the lulling NUWC does not occur.; sent1 -> int7: the dinning occurs.; int6 & int7 -> int8: the dinning but not the lulling NUWC happens.; int8 & sent13 -> hypothesis;
the harangue does not occur.
$hypothesis$ = the harangue happens. ; $context$ = sent1: the preserving myriad and the dinning occurs. sent2: the non-usualness is prevented by that the digestive and the reactiveness happens. sent3: the pas does not occur. sent4: if the uniting and the blemishing catamaran happens the inactiveness does not occur. sent5: the somatosensoriness happens. sent6: the serving happens. sent7: that the Thai but not the lulling Kigali happens results in the non-Laputanness. sent8: the scoring occurs and the Ghanaianness does not occur. sent9: the inactiveness happens. sent10: the lulling NUWC does not occur if the abjuring Kigali occurs but the blemishing catamaran does not occur. sent11: the uniting happens. sent12: the abjuring Kigali happens. sent13: if the dinning occurs but the lulling NUWC does not occur then the haranguing occurs. sent14: the harangue does not occur if that the blemishing catamaran does not occur and the harangue happens is not right. sent15: the preserving myriad occurs. ; $proof$ = 
void -> assump1: Let's assume that the blemishing catamaran happens.; sent11 & assump1 -> int1: both the uniting and the blemishing catamaran happens.; int1 & sent4 -> int2: the inactiveness does not occur.; int2 & sent9 -> int3: this is contradiction.; [assump1] & int3 -> int4: the blemishing catamaran does not occur.; int4 & sent12 -> int5: the abjuring Kigali but not the blemishing catamaran occurs.; int5 & sent10 -> int6: the lulling NUWC does not occur.; sent1 -> int7: the dinning occurs.; int6 & int7 -> int8: the dinning but not the lulling NUWC happens.; int8 & sent13 -> hypothesis; __PROVED__