both the unpicking violator and the blazing occurs.
sent1: the subclavianness happens if the violableness happens. sent2: the furloughing obtuseness occurs. sent3: that the slinging does not occur yields the violableness. sent4: both the tunneling moot and the non-sleevelessness occurs. sent5: the wages does not occur and the times does not occur if the noise happens. sent6: the conicness happens and the tunneling sociobiology does not occur. sent7: the debuting orchiopexy does not occur. sent8: if that the angle happens and/or the slinging does not occur does not hold then the debuting orchiopexy happens. sent9: the wages does not occur. sent10: the luxation does not occur. sent11: that the non-adnexalness and the stooging occurs is not right if that the apologeticness occurs is correct. sent12: that the wages does not occur and the times does not occur prevents the subclavianness. sent13: the debuting orchiopexy occurs if that the angle happens and/or the slinging happens is wrong. sent14: the violableness occurs if the angle occurs and/or the slinging does not occur. sent15: the tonelessness occurs and/or the trajectory does not occur. sent16: the noise and the sermon occurs if the convecting does not occur. sent17: the blazing occurs. sent18: the tunneling siding happens and the plank occurs if the expropriation does not occur. sent19: the convecting does not occur if the fact that the fact that the adnexalness does not occur and the stooging happens is wrong is true. sent20: the fact that the fact that both the unpicking violator and the blazing happens is not wrong does not hold if the violableness does not occur. sent21: if the subclavianness occurs but the wages does not occur then the unpicking violator happens. sent22: if the fact that the accessibleness and the expropriation occurs is not right the expropriation does not occur. sent23: the unapologeticness is prevented by that the tunneling siding happens. sent24: the angle happens or the slinging occurs or both. sent25: the fact that the tonelessness occurs and/or the FM does not occur is wrong. sent26: the slinging happens.
void -> assump1: Let's assume that the fact that the angling happens and/or the slinging does not occur is incorrect.; sent8 & assump1 -> int1: the debuting orchiopexy happens.; int1 & sent7 -> int2: this is contradiction.; [assump1] & int2 -> int3: the angling occurs and/or the slinging does not occur.; int3 & sent14 -> int4: the violableness occurs.; int4 & sent1 -> int5: the subclavianness happens.; int5 & sent9 -> int6: the subclavianness happens but the wages does not occur.; int6 & sent21 -> int7: the unpicking violator occurs.; int7 & sent17 -> hypothesis;
that the unpicking violator and the blazing occurs is incorrect.
$hypothesis$ = both the unpicking violator and the blazing occurs. ; $context$ = sent1: the subclavianness happens if the violableness happens. sent2: the furloughing obtuseness occurs. sent3: that the slinging does not occur yields the violableness. sent4: both the tunneling moot and the non-sleevelessness occurs. sent5: the wages does not occur and the times does not occur if the noise happens. sent6: the conicness happens and the tunneling sociobiology does not occur. sent7: the debuting orchiopexy does not occur. sent8: if that the angle happens and/or the slinging does not occur does not hold then the debuting orchiopexy happens. sent9: the wages does not occur. sent10: the luxation does not occur. sent11: that the non-adnexalness and the stooging occurs is not right if that the apologeticness occurs is correct. sent12: that the wages does not occur and the times does not occur prevents the subclavianness. sent13: the debuting orchiopexy occurs if that the angle happens and/or the slinging happens is wrong. sent14: the violableness occurs if the angle occurs and/or the slinging does not occur. sent15: the tonelessness occurs and/or the trajectory does not occur. sent16: the noise and the sermon occurs if the convecting does not occur. sent17: the blazing occurs. sent18: the tunneling siding happens and the plank occurs if the expropriation does not occur. sent19: the convecting does not occur if the fact that the fact that the adnexalness does not occur and the stooging happens is wrong is true. sent20: the fact that the fact that both the unpicking violator and the blazing happens is not wrong does not hold if the violableness does not occur. sent21: if the subclavianness occurs but the wages does not occur then the unpicking violator happens. sent22: if the fact that the accessibleness and the expropriation occurs is not right the expropriation does not occur. sent23: the unapologeticness is prevented by that the tunneling siding happens. sent24: the angle happens or the slinging occurs or both. sent25: the fact that the tonelessness occurs and/or the FM does not occur is wrong. sent26: the slinging happens. ; $proof$ = 
void -> assump1: Let's assume that the fact that the angling happens and/or the slinging does not occur is incorrect.; sent8 & assump1 -> int1: the debuting orchiopexy happens.; int1 & sent7 -> int2: this is contradiction.; [assump1] & int2 -> int3: the angling occurs and/or the slinging does not occur.; int3 & sent14 -> int4: the violableness occurs.; int4 & sent1 -> int5: the subclavianness happens.; int5 & sent9 -> int6: the subclavianness happens but the wages does not occur.; int6 & sent21 -> int7: the unpicking violator occurs.; int7 & sent17 -> hypothesis; __PROVED__