the throwing does not occur.
sent1: the opposing occurs and the cloning occurs. sent2: the fact that the radiopacity and the casting dancer happens hold. sent3: both the nonresident and the Salvadoranness happens. sent4: both the graphics and the surf occurs. sent5: if that the graphics happens is not incorrect then that the fact that the pedagogicalness does not occur or the casting jiqui does not occur or both is not wrong is false. sent6: both the crime and the crank happens. sent7: the casting jiqui is brought about by that the graphicsness occurs. sent8: if the lacteal occurs then the fact that either the populating shore does not occur or the Falstaffianness does not occur or both does not hold. sent9: the casting jiqui happens. sent10: that the prosecution does not occur or the Eritreanness does not occur or both is not right. sent11: the throw is caused by that the cloning but not the opposing occurs. sent12: the banking happens and the avirulentness occurs. sent13: the pedagogicalness does not occur if the opposing happens and the throw occurs.
sent1 -> int1: the opposing occurs.; void -> assump1: Let's assume that the throwing occurs.; int1 & assump1 -> int2: the opposing and the throwing happens.; int2 & sent13 -> int3: the fact that the pedagogicalness does not occur hold.; int3 -> int4: the pedagogicalness does not occur and/or the casting jiqui does not occur.; sent4 -> int5: the graphicsness happens.; sent5 & int5 -> int6: that either the pedagogicalness does not occur or the casting jiqui does not occur or both is incorrect.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
the throw occurs.
$hypothesis$ = the throwing does not occur. ; $context$ = sent1: the opposing occurs and the cloning occurs. sent2: the fact that the radiopacity and the casting dancer happens hold. sent3: both the nonresident and the Salvadoranness happens. sent4: both the graphics and the surf occurs. sent5: if that the graphics happens is not incorrect then that the fact that the pedagogicalness does not occur or the casting jiqui does not occur or both is not wrong is false. sent6: both the crime and the crank happens. sent7: the casting jiqui is brought about by that the graphicsness occurs. sent8: if the lacteal occurs then the fact that either the populating shore does not occur or the Falstaffianness does not occur or both does not hold. sent9: the casting jiqui happens. sent10: that the prosecution does not occur or the Eritreanness does not occur or both is not right. sent11: the throw is caused by that the cloning but not the opposing occurs. sent12: the banking happens and the avirulentness occurs. sent13: the pedagogicalness does not occur if the opposing happens and the throw occurs. ; $proof$ = 
sent1 -> int1: the opposing occurs.; void -> assump1: Let's assume that the throwing occurs.; int1 & assump1 -> int2: the opposing and the throwing happens.; int2 & sent13 -> int3: the fact that the pedagogicalness does not occur hold.; int3 -> int4: the pedagogicalness does not occur and/or the casting jiqui does not occur.; sent4 -> int5: the graphicsness happens.; sent5 & int5 -> int6: that either the pedagogicalness does not occur or the casting jiqui does not occur or both is incorrect.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __PROVED__