the fact that the looting gen does not occur and the celiacness does not occur if the populating Corse occurs is not true.
sent1: if the populating Corse does not occur then the fact that both the non-unreproducibleness and the dysphemisticness happens is wrong. sent2: the inoffensiveness occurs if the populating Corse happens. sent3: if the weightiness does not occur the swab occurs. sent4: the epidemicness happens and the proclamation occurs. sent5: the unreproducibleness happens if that the non-unreproducibleness and the non-inoffensiveness happens is not right. sent6: the weightiness does not occur. sent7: the non-nonpartisanness and the non-tectonicness happens. sent8: that the swabbing and the epidemic happens prevents the celiacness. sent9: the proclamation occurs. sent10: if the retention happens then the chording occurs. sent11: the adoxography happens. sent12: if the retention occurs then the looting gen does not occur. sent13: the looting gen does not occur if the inoffensiveness and/or the retention occurs.
void -> assump1: Let's assume that the fact that the populating Corse occurs is not false.; sent2 & assump1 -> int1: the inoffensiveness occurs.; int1 -> int2: the inoffensiveness occurs or the retention happens or both.; int2 & sent13 -> int3: that the looting gen does not occur is correct.; sent3 & sent6 -> int4: the swab happens.; sent4 -> int5: the epidemic occurs.; int4 & int5 -> int6: the swabbing happens and the epidemicness happens.; sent8 & int6 -> int7: that the celiacness does not occur is correct.; int3 & int7 -> int8: the looting gen does not occur and the celiacness does not occur.; [assump1] & int8 -> hypothesis;
both the unreproducibleness and the chording happens.
$hypothesis$ = the fact that the looting gen does not occur and the celiacness does not occur if the populating Corse occurs is not true. ; $context$ = sent1: if the populating Corse does not occur then the fact that both the non-unreproducibleness and the dysphemisticness happens is wrong. sent2: the inoffensiveness occurs if the populating Corse happens. sent3: if the weightiness does not occur the swab occurs. sent4: the epidemicness happens and the proclamation occurs. sent5: the unreproducibleness happens if that the non-unreproducibleness and the non-inoffensiveness happens is not right. sent6: the weightiness does not occur. sent7: the non-nonpartisanness and the non-tectonicness happens. sent8: that the swabbing and the epidemic happens prevents the celiacness. sent9: the proclamation occurs. sent10: if the retention happens then the chording occurs. sent11: the adoxography happens. sent12: if the retention occurs then the looting gen does not occur. sent13: the looting gen does not occur if the inoffensiveness and/or the retention occurs. ; $proof$ = 
void -> assump1: Let's assume that the fact that the populating Corse occurs is not false.; sent2 & assump1 -> int1: the inoffensiveness occurs.; int1 -> int2: the inoffensiveness occurs or the retention happens or both.; int2 & sent13 -> int3: that the looting gen does not occur is correct.; sent3 & sent6 -> int4: the swab happens.; sent4 -> int5: the epidemic occurs.; int4 & int5 -> int6: the swabbing happens and the epidemicness happens.; sent8 & int6 -> int7: that the celiacness does not occur is correct.; int3 & int7 -> int8: the looting gen does not occur and the celiacness does not occur.; [assump1] & int8 -> hypothesis; __DISPROVED__