the fact that the enzymaticness and the working strabismus happens is not false.
sent1: that the capitulating occurs and the seesaw happens prevents that the barracking adjective happens. sent2: the branch does not occur. sent3: the safety and the Angelus occurs. sent4: the tattooing occurs and the posting occurs. sent5: the working spacesuit happens. sent6: that the non-inflationariness and the non-thoughtfulness occurs prevents that the barracking wastage happens. sent7: the seesawing happens. sent8: the working Eindhoven does not occur. sent9: the enzymaticness happens. sent10: if that the virulentness does not occur is not wrong the enzymaticness happens and the working strabismus happens. sent11: the virulentness does not occur if the fact that the capitulating does not occur and the shading does not occur is not incorrect. sent12: the blowback happens. sent13: both the pleaching lurker and the blowback happens. sent14: the enzymaticness occurs if the virulentness does not occur. sent15: the career does not occur. sent16: the vexing Embothrium happens. sent17: the barracking adjective happens. sent18: the shading does not occur. sent19: the working GDP does not occur. sent20: both the product and the cytolyticness happens if that the flurry does not occur hold.
void -> assump1: Let's assume that that the capitulating happens is correct.; assump1 & sent7 -> int1: the capitulating and the seesawing happens.; int1 & sent1 -> int2: the barracking adjective does not occur.; int2 & sent17 -> int3: this is contradiction.; [assump1] & int3 -> int4: the capitulating does not occur.; int4 & sent18 -> int5: the capitulating does not occur and the shading does not occur.; int5 & sent11 -> int6: the virulentness does not occur.; int6 & sent10 -> hypothesis;
the fact that the enzymaticness happens and the working strabismus occurs does not hold.
 -> hypothesis;
$hypothesis$ = the fact that the enzymaticness and the working strabismus happens is not false. ; $context$ = sent1: that the capitulating occurs and the seesaw happens prevents that the barracking adjective happens. sent2: the branch does not occur. sent3: the safety and the Angelus occurs. sent4: the tattooing occurs and the posting occurs. sent5: the working spacesuit happens. sent6: that the non-inflationariness and the non-thoughtfulness occurs prevents that the barracking wastage happens. sent7: the seesawing happens. sent8: the working Eindhoven does not occur. sent9: the enzymaticness happens. sent10: if that the virulentness does not occur is not wrong the enzymaticness happens and the working strabismus happens. sent11: the virulentness does not occur if the fact that the capitulating does not occur and the shading does not occur is not incorrect. sent12: the blowback happens. sent13: both the pleaching lurker and the blowback happens. sent14: the enzymaticness occurs if the virulentness does not occur. sent15: the career does not occur. sent16: the vexing Embothrium happens. sent17: the barracking adjective happens. sent18: the shading does not occur. sent19: the working GDP does not occur. sent20: both the product and the cytolyticness happens if that the flurry does not occur hold. ; $proof$ = 
void -> assump1: Let's assume that that the capitulating happens is correct.; assump1 & sent7 -> int1: the capitulating and the seesawing happens.; int1 & sent1 -> int2: the barracking adjective does not occur.; int2 & sent17 -> int3: this is contradiction.; [assump1] & int3 -> int4: the capitulating does not occur.; int4 & sent18 -> int5: the capitulating does not occur and the shading does not occur.; int5 & sent11 -> int6: the virulentness does not occur.; int6 & sent10 -> hypothesis; __PROVED__