that the ergotropicness occurs is not wrong.
sent1: if the fact that the philatelicness occurs is correct then the covetousness happens. sent2: the churning wahoo does not occur and the heathlikeness occurs. sent3: the gastronomy occurs. sent4: that both the non-cortico-hypothalamicness and the covetousness happens prevents the non-sustentacularness. sent5: that the backflow does not occur prevents that the Assault happens. sent6: both the Assault and the episcopate happens. sent7: the ergotropicness happens if that the sustentacularness happens hold. sent8: the rapping pimozide does not occur. sent9: that the gastronomy happens and the philatelicness occurs is brought about by that the rapping pimozide does not occur. sent10: if that the unreverberantness but not the backflow occurs does not hold the cortico-hypothalamicness does not occur.
void -> assump1: Let's assume that the unreverberantness happens and the backflow does not occur.; assump1 -> int1: the backflow does not occur.; int1 & sent5 -> int2: that the Assault occurs is false.; sent6 -> int3: the Assault happens.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the unreverberantness occurs and the backflow does not occur is not right.; int5 & sent10 -> int6: the cortico-hypothalamicness does not occur.; sent9 & sent8 -> int7: the gastronomy and the philatelicness occurs.; int7 -> int8: the philatelicness occurs.; sent1 & int8 -> int9: the covetousness occurs.; int6 & int9 -> int10: the fact that both the non-cortico-hypothalamicness and the covetousness happens is not wrong.; int10 & sent4 -> int11: the sustentacularness happens.; int11 & sent7 -> hypothesis;
$hypothesis$ = that the ergotropicness occurs is not wrong. ; $context$ = sent1: if the fact that the philatelicness occurs is correct then the covetousness happens. sent2: the churning wahoo does not occur and the heathlikeness occurs. sent3: the gastronomy occurs. sent4: that both the non-cortico-hypothalamicness and the covetousness happens prevents the non-sustentacularness. sent5: that the backflow does not occur prevents that the Assault happens. sent6: both the Assault and the episcopate happens. sent7: the ergotropicness happens if that the sustentacularness happens hold. sent8: the rapping pimozide does not occur. sent9: that the gastronomy happens and the philatelicness occurs is brought about by that the rapping pimozide does not occur. sent10: if that the unreverberantness but not the backflow occurs does not hold the cortico-hypothalamicness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the unreverberantness happens and the backflow does not occur.; assump1 -> int1: the backflow does not occur.; int1 & sent5 -> int2: that the Assault occurs is false.; sent6 -> int3: the Assault happens.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the unreverberantness occurs and the backflow does not occur is not right.; int5 & sent10 -> int6: the cortico-hypothalamicness does not occur.; sent9 & sent8 -> int7: the gastronomy and the philatelicness occurs.; int7 -> int8: the philatelicness occurs.; sent1 & int8 -> int9: the covetousness occurs.; int6 & int9 -> int10: the fact that both the non-cortico-hypothalamicness and the covetousness happens is not wrong.; int10 & sent4 -> int11: the sustentacularness happens.; int11 & sent7 -> hypothesis; __PROVED__