that the tumult does not occur causes that the destructiveness occurs and the extraction happens.
sent1: if that the temporizing happens hold the tumult occurs. sent2: the Greek and the apologeticness occurs. sent3: the ready-madeness yields that the aerodynamicness happens and the neglect does not occur. sent4: if the temporizing does not occur then the destructiveness occurs. sent5: the accomplishing occurs if the fact that not the accomplishing but the tumult happens is not correct. sent6: that that not the tagging creel but the aerodynamicness occurs is correct brings about the extraction. sent7: the moiling does not occur if that the biogenicness occurs is correct. sent8: the ready-madeness happens. sent9: that if the destructiveness does not occur the fact that the accomplishing does not occur but the tumult happens is incorrect is not false. sent10: the tagging bale happens. sent11: if the fact that the overawing Wheatstone happens and the scattering happens is not true then the neglecting does not occur. sent12: the Mark but not the brachiation occurs. sent13: that the aerodynamicness does not occur is triggered by that the ready-made and the inadmissibleness happens. sent14: the inadmissibleness does not occur and the scattering does not occur.
void -> assump1: Let's assume that the temporizing happens.; sent1 & assump1 -> int1: the tumult occurs.; void -> assump2: Let's assume that the tumult does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the temporizing does not occur.; int3 & sent4 -> int4: the destructiveness occurs.; sent3 & sent8 -> int5: the aerodynamicness but not the neglecting happens.; int5 -> int6: the aerodynamicness happens.;
the jerk does not occur but the accomplishing occurs.
$hypothesis$ = that the tumult does not occur causes that the destructiveness occurs and the extraction happens. ; $context$ = sent1: if that the temporizing happens hold the tumult occurs. sent2: the Greek and the apologeticness occurs. sent3: the ready-madeness yields that the aerodynamicness happens and the neglect does not occur. sent4: if the temporizing does not occur then the destructiveness occurs. sent5: the accomplishing occurs if the fact that not the accomplishing but the tumult happens is not correct. sent6: that that not the tagging creel but the aerodynamicness occurs is correct brings about the extraction. sent7: the moiling does not occur if that the biogenicness occurs is correct. sent8: the ready-madeness happens. sent9: that if the destructiveness does not occur the fact that the accomplishing does not occur but the tumult happens is incorrect is not false. sent10: the tagging bale happens. sent11: if the fact that the overawing Wheatstone happens and the scattering happens is not true then the neglecting does not occur. sent12: the Mark but not the brachiation occurs. sent13: that the aerodynamicness does not occur is triggered by that the ready-made and the inadmissibleness happens. sent14: the inadmissibleness does not occur and the scattering does not occur. ; $proof$ = 
void -> assump1: Let's assume that the temporizing happens.; sent1 & assump1 -> int1: the tumult occurs.; void -> assump2: Let's assume that the tumult does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the temporizing does not occur.; int3 & sent4 -> int4: the destructiveness occurs.; sent3 & sent8 -> int5: the aerodynamicness but not the neglecting happens.; int5 -> int6: the aerodynamicness happens.; __UNKNOWN__