the fact that the impairing graciousness happens if the fact that the ruse occurs hold is not correct.
sent1: if the immunotherapeuticness happens that the impairing graciousness happens is correct. sent2: that the scrutiny occurs prevents that the aeronauticalness does not occur. sent3: that the cucurbitaceousness happens prevents the non-uninstructiveness. sent4: if that the tellurian does not occur is not correct the extraordinariness occurs. sent5: if the ruse happens then the immunotherapeuticness happens.
void -> assump1: Let's assume that the ruse occurs.; sent5 & assump1 -> int1: the immunotherapeuticness occurs.; sent1 & int1 -> int2: the impairing graciousness occurs.; [assump1] & int2 -> hypothesis;
$hypothesis$ = the fact that the impairing graciousness happens if the fact that the ruse occurs hold is not correct. ; $context$ = sent1: if the immunotherapeuticness happens that the impairing graciousness happens is correct. sent2: that the scrutiny occurs prevents that the aeronauticalness does not occur. sent3: that the cucurbitaceousness happens prevents the non-uninstructiveness. sent4: if that the tellurian does not occur is not correct the extraordinariness occurs. sent5: if the ruse happens then the immunotherapeuticness happens. ; $proof$ = 
void -> assump1: Let's assume that the ruse occurs.; sent5 & assump1 -> int1: the immunotherapeuticness occurs.; sent1 & int1 -> int2: the impairing graciousness occurs.; [assump1] & int2 -> hypothesis; __DISPROVED__