the predation happens but the shoving does not occur.
sent1: the meioticness occurs. sent2: the vesper happens. sent3: the tweeting Cooperstown occurs. sent4: if the inferentialness happens the acneiformness does not occur. sent5: the fact that the breath occurs is right. sent6: the breath does not occur if the predation does not occur. sent7: if the fact that the plowing occurs is correct then that the tenseness happens and the conversing does not occur is not true. sent8: the fact that both the callusing and the non-gentileness happens hold. sent9: if the plow happens then the fact that the predation occurs but the shoving does not occur is false. sent10: if the fact that that the predation happens but the shove does not occur hold does not hold then the breath does not occur. sent11: that the plowing happens and the breath does not occur is brought about by the non-supernaturalness.
void -> assump1: Let's assume that the fact that that the predation happens but the shoving does not occur is not true is not incorrect.; sent10 & assump1 -> int1: the breath does not occur.; int1 & sent5 -> int2: this is contradiction.; [assump1] & int2 -> hypothesis;
that the predation but not the shoving happens is incorrect.
$hypothesis$ = the predation happens but the shoving does not occur. ; $context$ = sent1: the meioticness occurs. sent2: the vesper happens. sent3: the tweeting Cooperstown occurs. sent4: if the inferentialness happens the acneiformness does not occur. sent5: the fact that the breath occurs is right. sent6: the breath does not occur if the predation does not occur. sent7: if the fact that the plowing occurs is correct then that the tenseness happens and the conversing does not occur is not true. sent8: the fact that both the callusing and the non-gentileness happens hold. sent9: if the plow happens then the fact that the predation occurs but the shoving does not occur is false. sent10: if the fact that that the predation happens but the shove does not occur hold does not hold then the breath does not occur. sent11: that the plowing happens and the breath does not occur is brought about by the non-supernaturalness. ; $proof$ = 
void -> assump1: Let's assume that the fact that that the predation happens but the shoving does not occur is not true is not incorrect.; sent10 & assump1 -> int1: the breath does not occur.; int1 & sent5 -> int2: this is contradiction.; [assump1] & int2 -> hypothesis; __PROVED__