the quadrille occurs.
sent1: if the issue does not occur the fact that the seeping does not occur and the quadrille happens does not hold. sent2: the quadrille does not occur if the fact that the seeping does not occur but the quadrille happens is not true. sent3: the consumptiveness does not occur if the fact that the option occurs and the pollution does not occur is false. sent4: that the issuing occurs results in that the seeping does not occur and the growl does not occur. sent5: the backlash does not occur if the favoring does not occur. sent6: the art occurs if that the congratulating does not occur and the legitimation does not occur is false. sent7: the frisking purveyance does not occur if the Lutheran happens or the favoring does not occur or both. sent8: the quadrille happens if the backlash does not occur and the growl does not occur. sent9: if the fact that the consumptive does not occur is not wrong not the issuing but the piquing pollinium happens. sent10: if the figuring occurs then the fact that the congratulating does not occur and the legitimation does not occur is incorrect. sent11: the issue occurs if the consumptive happens. sent12: the Lutheran does not occur if the favor happens. sent13: the fact that the option but not the pollution happens does not hold if the art occurs. sent14: both the Lutheran and the piquing pollinium occurs.
void -> assump1: Let's assume that the favoring occurs.; sent12 & assump1 -> int1: the Lutheranness does not occur.; sent14 -> int2: the Lutheran occurs.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the favor does not occur.; int4 & sent5 -> int5: the fact that the backlash does not occur is correct.;
the frisking purveyance does not occur.
$hypothesis$ = the quadrille occurs. ; $context$ = sent1: if the issue does not occur the fact that the seeping does not occur and the quadrille happens does not hold. sent2: the quadrille does not occur if the fact that the seeping does not occur but the quadrille happens is not true. sent3: the consumptiveness does not occur if the fact that the option occurs and the pollution does not occur is false. sent4: that the issuing occurs results in that the seeping does not occur and the growl does not occur. sent5: the backlash does not occur if the favoring does not occur. sent6: the art occurs if that the congratulating does not occur and the legitimation does not occur is false. sent7: the frisking purveyance does not occur if the Lutheran happens or the favoring does not occur or both. sent8: the quadrille happens if the backlash does not occur and the growl does not occur. sent9: if the fact that the consumptive does not occur is not wrong not the issuing but the piquing pollinium happens. sent10: if the figuring occurs then the fact that the congratulating does not occur and the legitimation does not occur is incorrect. sent11: the issue occurs if the consumptive happens. sent12: the Lutheran does not occur if the favor happens. sent13: the fact that the option but not the pollution happens does not hold if the art occurs. sent14: both the Lutheran and the piquing pollinium occurs. ; $proof$ = 
void -> assump1: Let's assume that the favoring occurs.; sent12 & assump1 -> int1: the Lutheranness does not occur.; sent14 -> int2: the Lutheran occurs.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the favor does not occur.; int4 & sent5 -> int5: the fact that the backlash does not occur is correct.; __UNKNOWN__