that if the Saturnalia does not occur then the abolition does not occur but the extending happens is not correct.
sent1: not the spread but the plumbaginaceousness happens. sent2: the laterness does not occur. sent3: the laterness does not occur if the abolition happens. sent4: the fact that the connateness does not occur does not hold. sent5: if the fact that the abolition happens is true the thermogravimetry does not occur and the laterness does not occur. sent6: the extending occurs. sent7: if the thermogravimetry does not occur and the laterness does not occur the Saturnalia occurs. sent8: if not the thermogravimetry but the laterness happens then the Saturnalia occurs.
void -> assump2: Let's assume that the abolition occurs.; sent5 & assump2 -> int1: the thermogravimetry does not occur and the laterness does not occur.; int1 & sent7 -> int2: the Saturnalia occurs.; void -> assump1: Let's assume that the Saturnalia does not occur.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the abolition does not occur.; int4 & sent6 -> int5: the abolition does not occur but the extending happens.; [assump1] & int5 -> hypothesis;
$hypothesis$ = that if the Saturnalia does not occur then the abolition does not occur but the extending happens is not correct. ; $context$ = sent1: not the spread but the plumbaginaceousness happens. sent2: the laterness does not occur. sent3: the laterness does not occur if the abolition happens. sent4: the fact that the connateness does not occur does not hold. sent5: if the fact that the abolition happens is true the thermogravimetry does not occur and the laterness does not occur. sent6: the extending occurs. sent7: if the thermogravimetry does not occur and the laterness does not occur the Saturnalia occurs. sent8: if not the thermogravimetry but the laterness happens then the Saturnalia occurs. ; $proof$ = 
void -> assump2: Let's assume that the abolition occurs.; sent5 & assump2 -> int1: the thermogravimetry does not occur and the laterness does not occur.; int1 & sent7 -> int2: the Saturnalia occurs.; void -> assump1: Let's assume that the Saturnalia does not occur.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the abolition does not occur.; int4 & sent6 -> int5: the abolition does not occur but the extending happens.; [assump1] & int5 -> hypothesis; __DISPROVED__