that the prolixness does not occur and the training occurs is incorrect.
sent1: if that the prolixness does not occur but the training happens is wrong the cheep does not occur. sent2: the expansion does not occur. sent3: the resenting skipjack is brought about by that the cheep does not occur and the Adonic does not occur. sent4: the summit does not occur. sent5: if the resenting skipjack occurs then not the style but the readmission happens. sent6: both the cheep and the resenting skipjack happens. sent7: the grudging does not occur. sent8: if the Adonicness occurs not the cheep but the resenting skipjack occurs. sent9: the fact that the apetalousness occurs is correct. sent10: the resenting aerophilately does not occur. sent11: that the sensorineuralness occurs hold. sent12: the paralleling inroad occurs and the absoluteness occurs. sent13: that the sensorineuralness does not occur and the hurricane happens is not true. sent14: that the training occurs is correct. sent15: the earthquake does not occur and the apetalousness occurs. sent16: the conciseness does not occur.
void -> assump1: Let's assume that that that the non-prolixness and the training happens hold is not right.; sent1 & assump1 -> int1: the cheep does not occur.; sent6 -> int2: the cheep happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the fact that the non-prolixness and the training occurs is incorrect.
$hypothesis$ = that the prolixness does not occur and the training occurs is incorrect. ; $context$ = sent1: if that the prolixness does not occur but the training happens is wrong the cheep does not occur. sent2: the expansion does not occur. sent3: the resenting skipjack is brought about by that the cheep does not occur and the Adonic does not occur. sent4: the summit does not occur. sent5: if the resenting skipjack occurs then not the style but the readmission happens. sent6: both the cheep and the resenting skipjack happens. sent7: the grudging does not occur. sent8: if the Adonicness occurs not the cheep but the resenting skipjack occurs. sent9: the fact that the apetalousness occurs is correct. sent10: the resenting aerophilately does not occur. sent11: that the sensorineuralness occurs hold. sent12: the paralleling inroad occurs and the absoluteness occurs. sent13: that the sensorineuralness does not occur and the hurricane happens is not true. sent14: that the training occurs is correct. sent15: the earthquake does not occur and the apetalousness occurs. sent16: the conciseness does not occur. ; $proof$ = 
void -> assump1: Let's assume that that that the non-prolixness and the training happens hold is not right.; sent1 & assump1 -> int1: the cheep does not occur.; sent6 -> int2: the cheep happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __DISPROVED__