the Honduranness does not occur.
sent1: if the inefficientness happens then that the macroeconomicness does not occur and the outstroke occurs is incorrect. sent2: if that the walkabout occurs and the whiffing Georgetown occurs is not true then that the whiffing Georgetown does not occur is not incorrect. sent3: the denudation occurs if the anadromousness occurs. sent4: the cholinergicness occurs if the whiffing cornstarch does not occur and the meshing drove happens. sent5: if the discipleship does not occur then the meshing lunge and the inefficientness happens. sent6: that if the meretriciousness does not occur that the walkabout and the whiffing Georgetown happens does not hold hold. sent7: that the whiffing Georgetown occurs triggers that the clinching happens. sent8: the fact that if that the meretriciousness and the growl happens does not hold the meretriciousness does not occur hold. sent9: that the meshing drove occurs prevents that the numbing does not occur. sent10: the clinch does not occur if the numbing occurs and the Honduranness occurs. sent11: the fact that the fact that both the clinch and the Honduranness happens is true is wrong if the whiffing Georgetown does not occur. sent12: if the Luxemburgerness does not occur the fact that the fact that the meretriciousness occurs and the growl occurs is false is not wrong. sent13: if the meshing drove does not occur the Honduranness occurs and the whiffing cornstarch happens. sent14: the Luxemburger does not occur if the fact that both the non-macroeconomicness and the outstroke happens is not right. sent15: the whiffing Georgetown occurs.
void -> assump1: Let's assume that the Honduranness happens.; sent7 & sent15 -> int1: the clinch occurs.;
the Honduranness occurs.
$hypothesis$ = the Honduranness does not occur. ; $context$ = sent1: if the inefficientness happens then that the macroeconomicness does not occur and the outstroke occurs is incorrect. sent2: if that the walkabout occurs and the whiffing Georgetown occurs is not true then that the whiffing Georgetown does not occur is not incorrect. sent3: the denudation occurs if the anadromousness occurs. sent4: the cholinergicness occurs if the whiffing cornstarch does not occur and the meshing drove happens. sent5: if the discipleship does not occur then the meshing lunge and the inefficientness happens. sent6: that if the meretriciousness does not occur that the walkabout and the whiffing Georgetown happens does not hold hold. sent7: that the whiffing Georgetown occurs triggers that the clinching happens. sent8: the fact that if that the meretriciousness and the growl happens does not hold the meretriciousness does not occur hold. sent9: that the meshing drove occurs prevents that the numbing does not occur. sent10: the clinch does not occur if the numbing occurs and the Honduranness occurs. sent11: the fact that the fact that both the clinch and the Honduranness happens is true is wrong if the whiffing Georgetown does not occur. sent12: if the Luxemburgerness does not occur the fact that the fact that the meretriciousness occurs and the growl occurs is false is not wrong. sent13: if the meshing drove does not occur the Honduranness occurs and the whiffing cornstarch happens. sent14: the Luxemburger does not occur if the fact that both the non-macroeconomicness and the outstroke happens is not right. sent15: the whiffing Georgetown occurs. ; $proof$ = 
void -> assump1: Let's assume that the Honduranness happens.; sent7 & sent15 -> int1: the clinch occurs.; __UNKNOWN__