if the fact that the hyping negativist does not occur is correct that both the capitalist and the non-acropetalness occurs is incorrect.
sent1: if that the fact that the non-acquisitiveness and the concording occurs is not correct is right then the headshot does not occur. sent2: if the headshot does not occur the fact that the capitalistness and the non-acropetalness happens is not true. sent3: if the inserting poncho does not occur the fact that the inserting dashing but not the emerging occurs is incorrect. sent4: if the hyping negativist does not occur then the fact that the capitalistness and the acropetalness happens does not hold. sent5: if that the inserting tricyclic does not occur but the inserting flatcar happens does not hold the probabilisticness does not occur. sent6: both the capitalistness and the non-acropetalness happens. sent7: that the capitalist occurs and the acropetalness happens is wrong. sent8: if the baas does not occur that the pneumaticsness and the non-Freudianness happens is not right. sent9: if the headshot does not occur then the fact that the capitalistness happens and the acropetalness occurs is not correct. sent10: the headshot is prevented by the acquisitiveness. sent11: that the acquisitiveness occurs and the concording happens is wrong. sent12: if the hyping negativist does not occur the fact that the non-acquisitiveness and the concording occurs is incorrect. sent13: that that the acquisitiveness and the concording occurs is not false is not correct if that the hyping negativist does not occur is not false.
void -> assump1: Let's assume that the hyping negativist does not occur.; sent12 & assump1 -> int1: the fact that the unacquisitiveness and the concording occurs is not right.; int1 & sent1 -> int2: the headshot does not occur.; int2 & sent2 -> int3: that the capitalist and the non-acropetalness happens is not correct.; [assump1] & int3 -> hypothesis;
$hypothesis$ = if the fact that the hyping negativist does not occur is correct that both the capitalist and the non-acropetalness occurs is incorrect. ; $context$ = sent1: if that the fact that the non-acquisitiveness and the concording occurs is not correct is right then the headshot does not occur. sent2: if the headshot does not occur the fact that the capitalistness and the non-acropetalness happens is not true. sent3: if the inserting poncho does not occur the fact that the inserting dashing but not the emerging occurs is incorrect. sent4: if the hyping negativist does not occur then the fact that the capitalistness and the acropetalness happens does not hold. sent5: if that the inserting tricyclic does not occur but the inserting flatcar happens does not hold the probabilisticness does not occur. sent6: both the capitalistness and the non-acropetalness happens. sent7: that the capitalist occurs and the acropetalness happens is wrong. sent8: if the baas does not occur that the pneumaticsness and the non-Freudianness happens is not right. sent9: if the headshot does not occur then the fact that the capitalistness happens and the acropetalness occurs is not correct. sent10: the headshot is prevented by the acquisitiveness. sent11: that the acquisitiveness occurs and the concording happens is wrong. sent12: if the hyping negativist does not occur the fact that the non-acquisitiveness and the concording occurs is incorrect. sent13: that that the acquisitiveness and the concording occurs is not false is not correct if that the hyping negativist does not occur is not false. ; $proof$ = 
void -> assump1: Let's assume that the hyping negativist does not occur.; sent12 & assump1 -> int1: the fact that the unacquisitiveness and the concording occurs is not right.; int1 & sent1 -> int2: the headshot does not occur.; int2 & sent2 -> int3: that the capitalist and the non-acropetalness happens is not correct.; [assump1] & int3 -> hypothesis; __PROVED__