the scrimmage does not occur.
sent1: the flagellation happens if the fact that the autoplasticness does not occur and the flagellation does not occur is not correct. sent2: the curiousness does not occur if the fact that the spar does not occur is correct. sent3: that either the sparring does not occur or the tameness does not occur or both is not wrong if the capsularness does not occur. sent4: if that the diagnosticness does not occur is correct the nectariferousness occurs. sent5: that the curiousness occurs is prevented by the non-tameness. sent6: the subrogating garmentmaker occurs if the capsularness occurs. sent7: the piquing does not occur. sent8: that the autoplasticness does not occur and the flagellation does not occur is not true if the cleared does not occur. sent9: the scrimmaging does not occur if the spangling happens and the flagellation occurs. sent10: the subrogating garmentmaker does not occur and the Constitution does not occur. sent11: if the subrogating quiddity does not occur and the contralateralness does not occur that the cleared happens is not right. sent12: if the pique does not occur the subrogating quiddity does not occur and the contralateralness does not occur. sent13: if the doctoralness does not occur and the checkout does not occur then the besoting strickle does not occur.
void -> assump1: Let's assume that the capsularness happens.; sent6 & assump1 -> int1: the subrogating garmentmaker happens.; sent10 -> int2: the subrogating garmentmaker does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the capsularness does not occur.; int4 & sent3 -> int5: either the sparring does not occur or the taming does not occur or both.; int5 & sent2 & sent5 -> int6: the curiousness does not occur.; sent12 & sent7 -> int7: the subrogating quiddity does not occur and the contralateralness does not occur.; sent11 & int7 -> int8: the clearedness does not occur.; sent8 & int8 -> int9: that the autoplasticness does not occur and the flagellation does not occur is not correct.; sent1 & int9 -> int10: the flagellation happens.;
$hypothesis$ = the scrimmage does not occur. ; $context$ = sent1: the flagellation happens if the fact that the autoplasticness does not occur and the flagellation does not occur is not correct. sent2: the curiousness does not occur if the fact that the spar does not occur is correct. sent3: that either the sparring does not occur or the tameness does not occur or both is not wrong if the capsularness does not occur. sent4: if that the diagnosticness does not occur is correct the nectariferousness occurs. sent5: that the curiousness occurs is prevented by the non-tameness. sent6: the subrogating garmentmaker occurs if the capsularness occurs. sent7: the piquing does not occur. sent8: that the autoplasticness does not occur and the flagellation does not occur is not true if the cleared does not occur. sent9: the scrimmaging does not occur if the spangling happens and the flagellation occurs. sent10: the subrogating garmentmaker does not occur and the Constitution does not occur. sent11: if the subrogating quiddity does not occur and the contralateralness does not occur that the cleared happens is not right. sent12: if the pique does not occur the subrogating quiddity does not occur and the contralateralness does not occur. sent13: if the doctoralness does not occur and the checkout does not occur then the besoting strickle does not occur. ; $proof$ = 
void -> assump1: Let's assume that the capsularness happens.; sent6 & assump1 -> int1: the subrogating garmentmaker happens.; sent10 -> int2: the subrogating garmentmaker does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the capsularness does not occur.; int4 & sent3 -> int5: either the sparring does not occur or the taming does not occur or both.; int5 & sent2 & sent5 -> int6: the curiousness does not occur.; sent12 & sent7 -> int7: the subrogating quiddity does not occur and the contralateralness does not occur.; sent11 & int7 -> int8: the clearedness does not occur.; sent8 & int8 -> int9: that the autoplasticness does not occur and the flagellation does not occur is not correct.; sent1 & int9 -> int10: the flagellation happens.; __UNKNOWN__