that the obliging does not occur but the Indonesian happens if the sunset occurs is not true.
sent1: if the obliging occurs that the archery does not occur and the counterrevolutionariness occurs does not hold. sent2: if the Hippocraticness happens that the routine does not occur and the biopsy happens is false. sent3: if the obliging occurs then the fact that the archery does not occur and the counterrevolutionariness does not occur is false. sent4: that the Indonesian occurs is right. sent5: the sequencing occurs. sent6: the sunset does not occur if that the archery does not occur and the counterrevolutionariness does not occur is false.
void -> assump1: Let's assume that the obliging happens.; sent3 & assump1 -> int1: that the archery does not occur and the counterrevolutionariness does not occur does not hold.; int1 & sent6 -> int2: the sunset does not occur.; void -> assump2: Let's assume that the sunset happens.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the obliging does not occur.; int4 & sent4 -> int5: the obliging does not occur but the Indonesian occurs.; [assump2] & int5 -> hypothesis;
$hypothesis$ = that the obliging does not occur but the Indonesian happens if the sunset occurs is not true. ; $context$ = sent1: if the obliging occurs that the archery does not occur and the counterrevolutionariness occurs does not hold. sent2: if the Hippocraticness happens that the routine does not occur and the biopsy happens is false. sent3: if the obliging occurs then the fact that the archery does not occur and the counterrevolutionariness does not occur is false. sent4: that the Indonesian occurs is right. sent5: the sequencing occurs. sent6: the sunset does not occur if that the archery does not occur and the counterrevolutionariness does not occur is false. ; $proof$ = 
void -> assump1: Let's assume that the obliging happens.; sent3 & assump1 -> int1: that the archery does not occur and the counterrevolutionariness does not occur does not hold.; int1 & sent6 -> int2: the sunset does not occur.; void -> assump2: Let's assume that the sunset happens.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the obliging does not occur.; int4 & sent4 -> int5: the obliging does not occur but the Indonesian occurs.; [assump2] & int5 -> hypothesis; __DISPROVED__