that not the consularness but the deviating matelote occurs is wrong.
sent1: the deviating conciliator does not occur. sent2: the rioting lesion is brought about by that the deviating conciliator does not occur and the consularness does not occur. sent3: that the deviating conciliator occurs is caused by that the consularness happens. sent4: the rioting plate happens. sent5: the correlating decontamination happens. sent6: the deviating matelote occurs. sent7: that the resident happens results in the rioting flapper. sent8: the correlating jack-o'-lantern happens. sent9: the rioting raftered occurs if the playfulness occurs. sent10: the stearicness does not occur but the leaching unperceptiveness happens. sent11: the contrastiness happens. sent12: the non-stearicness and the freshet occurs. sent13: the squirting does not occur. sent14: the leaching sixtieth does not occur. sent15: the deviating conciliator does not occur and the consularness does not occur if the deviating matelote does not occur. sent16: the relieving happens if the deviating Hohhot occurs.
void -> assump1: Let's assume that the consularness happens.; sent3 & assump1 -> int1: the fact that the deviating conciliator happens is not wrong.; int1 & sent1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the consularness does not occur.; int3 & sent6 -> hypothesis;
the rioting lesion occurs.
$hypothesis$ = that not the consularness but the deviating matelote occurs is wrong. ; $context$ = sent1: the deviating conciliator does not occur. sent2: the rioting lesion is brought about by that the deviating conciliator does not occur and the consularness does not occur. sent3: that the deviating conciliator occurs is caused by that the consularness happens. sent4: the rioting plate happens. sent5: the correlating decontamination happens. sent6: the deviating matelote occurs. sent7: that the resident happens results in the rioting flapper. sent8: the correlating jack-o'-lantern happens. sent9: the rioting raftered occurs if the playfulness occurs. sent10: the stearicness does not occur but the leaching unperceptiveness happens. sent11: the contrastiness happens. sent12: the non-stearicness and the freshet occurs. sent13: the squirting does not occur. sent14: the leaching sixtieth does not occur. sent15: the deviating conciliator does not occur and the consularness does not occur if the deviating matelote does not occur. sent16: the relieving happens if the deviating Hohhot occurs. ; $proof$ = 
void -> assump1: Let's assume that the consularness happens.; sent3 & assump1 -> int1: the fact that the deviating conciliator happens is not wrong.; int1 & sent1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the consularness does not occur.; int3 & sent6 -> hypothesis; __DISPROVED__