the burping does not occur.
sent1: the fact that not the cenogeneticness but the autogamousness occurs is not correct. sent2: the gastronomicness happens. sent3: if that the non-cenogeneticness and the non-autogamousness occurs is false the hooking does not occur. sent4: that both the non-cenogeneticness and the non-autogamousness happens is not correct if the trudge does not occur. sent5: that the nonreversibleness does not occur is brought about by that the styling insightfulness and the unreproducibleness occurs. sent6: the hooking occurs if the symmetricalness does not occur. sent7: that the symmetricalness does not occur is triggered by that the wheatenness and the gastronomicness occurs. sent8: the trudge does not occur. sent9: if the wheatenness does not occur the burping does not occur.
void -> assump1: Let's assume that the wheatenness happens.; assump1 & sent2 -> int1: both the wheatenness and the gastronomicness happens.; int1 & sent7 -> int2: the symmetricalness does not occur.; int2 & sent6 -> int3: the hooks occurs.; sent4 & sent8 -> int4: that the non-cenogeneticness and the non-autogamousness happens is false.; sent3 & int4 -> int5: the hooks does not occur.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the wheatenness does not occur.; int7 & sent9 -> hypothesis;
$hypothesis$ = the burping does not occur. ; $context$ = sent1: the fact that not the cenogeneticness but the autogamousness occurs is not correct. sent2: the gastronomicness happens. sent3: if that the non-cenogeneticness and the non-autogamousness occurs is false the hooking does not occur. sent4: that both the non-cenogeneticness and the non-autogamousness happens is not correct if the trudge does not occur. sent5: that the nonreversibleness does not occur is brought about by that the styling insightfulness and the unreproducibleness occurs. sent6: the hooking occurs if the symmetricalness does not occur. sent7: that the symmetricalness does not occur is triggered by that the wheatenness and the gastronomicness occurs. sent8: the trudge does not occur. sent9: if the wheatenness does not occur the burping does not occur. ; $proof$ = 
void -> assump1: Let's assume that the wheatenness happens.; assump1 & sent2 -> int1: both the wheatenness and the gastronomicness happens.; int1 & sent7 -> int2: the symmetricalness does not occur.; int2 & sent6 -> int3: the hooks occurs.; sent4 & sent8 -> int4: that the non-cenogeneticness and the non-autogamousness happens is false.; sent3 & int4 -> int5: the hooks does not occur.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the wheatenness does not occur.; int7 & sent9 -> hypothesis; __PROVED__