the squeegeeing precordium does not occur.
sent1: that the venesection occurs and the powwowing emigration occurs is not right if the slippage does not occur. sent2: if that the fact that the venesection does not occur but the powwowing emigration happens is wrong is correct the servileness does not occur. sent3: that the raftering mirror and the squeegeeing apposition occurs does not hold. sent4: that the squeegeeing Algren does not occur is right if the slippage occurs. sent5: if the cenobiticness occurs the underlying does not occur. sent6: the squeegeeing precordium does not occur if that the fatherhood occurs and/or the khanate occurs is incorrect. sent7: the reprieve happens. sent8: the fact that either the fatherhood or the khanate or both happens is not right if the squeegeeing Algren does not occur. sent9: the unstuckness does not occur if the fact that the familiarness does not occur is true. sent10: that the raftering heron occurs or the powwowing Goldsmith occurs or both does not hold. sent11: the azimuthalness does not occur if the peaceableness happens. sent12: the raftering freestone does not occur. sent13: the aphoristicness does not occur. sent14: the playing happens. sent15: the squeegeeing precordium happens if either the squeegeeing precordium or the non-servileness or both occurs. sent16: the powwowing Kennedy does not occur if the putout does not occur. sent17: the khanate does not occur. sent18: the canonist occurs. sent19: the canonist does not occur if the servileness does not occur. sent20: that the venesection does not occur but the powwowing emigration happens does not hold if that the slippage does not occur hold. sent21: the persuasiveness occurs.
void -> assump1: Let's assume that the slippage does not occur.; sent20 & assump1 -> int1: that not the venesection but the powwowing emigration occurs is wrong.; int1 & sent2 -> int2: the servileness does not occur.; int2 & sent19 -> int3: the canonistness does not occur.; int3 & sent18 -> int4: this is contradiction.; [assump1] & int4 -> int5: the slippage occurs.; int5 & sent4 -> int6: the squeegeeing Algren does not occur.; int6 & sent8 -> int7: the fact that either the fatherhood or the khanate or both occurs is wrong.; int7 & sent6 -> hypothesis;
that the squeegeeing precordium happens hold.
$hypothesis$ = the squeegeeing precordium does not occur. ; $context$ = sent1: that the venesection occurs and the powwowing emigration occurs is not right if the slippage does not occur. sent2: if that the fact that the venesection does not occur but the powwowing emigration happens is wrong is correct the servileness does not occur. sent3: that the raftering mirror and the squeegeeing apposition occurs does not hold. sent4: that the squeegeeing Algren does not occur is right if the slippage occurs. sent5: if the cenobiticness occurs the underlying does not occur. sent6: the squeegeeing precordium does not occur if that the fatherhood occurs and/or the khanate occurs is incorrect. sent7: the reprieve happens. sent8: the fact that either the fatherhood or the khanate or both happens is not right if the squeegeeing Algren does not occur. sent9: the unstuckness does not occur if the fact that the familiarness does not occur is true. sent10: that the raftering heron occurs or the powwowing Goldsmith occurs or both does not hold. sent11: the azimuthalness does not occur if the peaceableness happens. sent12: the raftering freestone does not occur. sent13: the aphoristicness does not occur. sent14: the playing happens. sent15: the squeegeeing precordium happens if either the squeegeeing precordium or the non-servileness or both occurs. sent16: the powwowing Kennedy does not occur if the putout does not occur. sent17: the khanate does not occur. sent18: the canonist occurs. sent19: the canonist does not occur if the servileness does not occur. sent20: that the venesection does not occur but the powwowing emigration happens does not hold if that the slippage does not occur hold. sent21: the persuasiveness occurs. ; $proof$ = 
void -> assump1: Let's assume that the slippage does not occur.; sent20 & assump1 -> int1: that not the venesection but the powwowing emigration occurs is wrong.; int1 & sent2 -> int2: the servileness does not occur.; int2 & sent19 -> int3: the canonistness does not occur.; int3 & sent18 -> int4: this is contradiction.; [assump1] & int4 -> int5: the slippage occurs.; int5 & sent4 -> int6: the squeegeeing Algren does not occur.; int6 & sent8 -> int7: the fact that either the fatherhood or the khanate or both occurs is wrong.; int7 & sent6 -> hypothesis; __PROVED__