if the accreditation occurs then not the skipping but the pureness happens.
sent1: if the zygomaticness happens the transoceanicness occurs. sent2: the isolationist occurs and the zygomaticness happens if the untraceableness does not occur. sent3: both the transoceanicness and the pureness happens. sent4: if the accreditation does not occur the fact that the flawing does not occur and the Appalachianness does not occur is not right. sent5: either that the accreditation happens or that the flaw happens or both prevents that the skip occurs. sent6: the pureness does not occur if that both the pureness and the non-isotonicness happens does not hold. sent7: the untraceableness does not occur if that both the bidding and the non-sinkableness occurs is wrong. sent8: if the rescuing happens the quarterbacking does not occur. sent9: if that the flawing does not occur and the Appalachianness does not occur is false the Appalachianness occurs.
void -> assump1: Let's assume that the accreditation happens.; assump1 -> int1: the accreditation occurs and/or the flawing occurs.; int1 & sent5 -> int2: that the skip does not occur is not wrong.; sent3 -> int3: the pureness occurs.; int2 & int3 -> int4: not the skipping but the pureness occurs.; [assump1] & int4 -> hypothesis;
the Appalachian happens.
$hypothesis$ = if the accreditation occurs then not the skipping but the pureness happens. ; $context$ = sent1: if the zygomaticness happens the transoceanicness occurs. sent2: the isolationist occurs and the zygomaticness happens if the untraceableness does not occur. sent3: both the transoceanicness and the pureness happens. sent4: if the accreditation does not occur the fact that the flawing does not occur and the Appalachianness does not occur is not right. sent5: either that the accreditation happens or that the flaw happens or both prevents that the skip occurs. sent6: the pureness does not occur if that both the pureness and the non-isotonicness happens does not hold. sent7: the untraceableness does not occur if that both the bidding and the non-sinkableness occurs is wrong. sent8: if the rescuing happens the quarterbacking does not occur. sent9: if that the flawing does not occur and the Appalachianness does not occur is false the Appalachianness occurs. ; $proof$ = 
void -> assump1: Let's assume that the accreditation happens.; assump1 -> int1: the accreditation occurs and/or the flawing occurs.; int1 & sent5 -> int2: that the skip does not occur is not wrong.; sent3 -> int3: the pureness occurs.; int2 & int3 -> int4: not the skipping but the pureness occurs.; [assump1] & int4 -> hypothesis; __PROVED__