the fact that if the jumping Bounty happens then the vespers does not occur but the schlep occurs is incorrect.
sent1: the vespers does not occur if that the aeromechanicness does not occur and the sibilating does not occur is false. sent2: the fact that the aeromechanicness but not the sibilating occurs is not true. sent3: the autotelicness is caused by the non-micrometeoriticness. sent4: that the non-aeromechanicness and the sibilating occurs is not correct. sent5: if that the chemotherapy happens and the micrometeoriticness happens is incorrect the micrometeoriticness does not occur. sent6: if the micrometeoriticness does not occur the autotelicness and the schlep happens. sent7: if the aeromechanicness does not occur and the sibilating does not occur then the jumping Bounty does not occur. sent8: that both the chemotherapy and the micrometeoriticness occurs is not true. sent9: the autotelicness happens. sent10: the jumping Bounty is prevented by that the aeromechanicness occurs and the sibilating does not occur. sent11: that both the non-aeromechanicness and the sibilating happens prevents the jumping Bounty.
void -> assump1: Let's assume that that the aeromechanicness does not occur and the sibilating does not occur is true.; sent7 & assump1 -> int1: the jumping Bounty does not occur.; void -> assump2: Let's assume that the jumping Bounty happens.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the aeromechanicness does not occur and the sibilating does not occur is incorrect.; int3 & sent1 -> int4: the vespers does not occur.; sent5 & sent8 -> int5: the micrometeoriticness does not occur.; sent6 & int5 -> int6: the autotelicness happens and the schlep happens.; int6 -> int7: the schlep occurs.; int4 & int7 -> int8: the vespers does not occur but the schlep occurs.; [assump2] & int8 -> hypothesis;
$hypothesis$ = the fact that if the jumping Bounty happens then the vespers does not occur but the schlep occurs is incorrect. ; $context$ = sent1: the vespers does not occur if that the aeromechanicness does not occur and the sibilating does not occur is false. sent2: the fact that the aeromechanicness but not the sibilating occurs is not true. sent3: the autotelicness is caused by the non-micrometeoriticness. sent4: that the non-aeromechanicness and the sibilating occurs is not correct. sent5: if that the chemotherapy happens and the micrometeoriticness happens is incorrect the micrometeoriticness does not occur. sent6: if the micrometeoriticness does not occur the autotelicness and the schlep happens. sent7: if the aeromechanicness does not occur and the sibilating does not occur then the jumping Bounty does not occur. sent8: that both the chemotherapy and the micrometeoriticness occurs is not true. sent9: the autotelicness happens. sent10: the jumping Bounty is prevented by that the aeromechanicness occurs and the sibilating does not occur. sent11: that both the non-aeromechanicness and the sibilating happens prevents the jumping Bounty. ; $proof$ = 
void -> assump1: Let's assume that that the aeromechanicness does not occur and the sibilating does not occur is true.; sent7 & assump1 -> int1: the jumping Bounty does not occur.; void -> assump2: Let's assume that the jumping Bounty happens.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the aeromechanicness does not occur and the sibilating does not occur is incorrect.; int3 & sent1 -> int4: the vespers does not occur.; sent5 & sent8 -> int5: the micrometeoriticness does not occur.; sent6 & int5 -> int6: the autotelicness happens and the schlep happens.; int6 -> int7: the schlep occurs.; int4 & int7 -> int8: the vespers does not occur but the schlep occurs.; [assump2] & int8 -> hypothesis; __DISPROVED__