the damping cran does not occur.
sent1: the parotidness occurs if the gluttony does not occur. sent2: the physicalness and the burglary occurs. sent3: the homeostaticness does not occur. sent4: that the damping mincer happens and the damping misdirection occurs hold. sent5: that the crowing walk-up happens and the crowing smuttiness does not occur prevents that the hatting happens. sent6: that the crowing walk-up does not occur and the framing does not occur causes that the burglary does not occur. sent7: if the compressibleness does not occur then the hatting occurs and the Finnishness occurs. sent8: the rolling maneuverer and the non-livelyness happens. sent9: both the damping cran and the physicalness happens if the fact that the burglary does not occur is not incorrect. sent10: if the frame does not occur the crowing walk-up occurs. sent11: the crowing walk-up happens and the crowing smuttiness does not occur if the fact that the frame does not occur is not wrong. sent12: the compressibleness does not occur. sent13: that the frame does not occur is caused by that the physicalness occurs and the damping cran happens. sent14: that the crowing walk-up does not occur triggers that both the damping cran and the regurgitation occurs.
sent2 -> int1: the physicalness occurs.; void -> assump1: Let's assume that the damping cran occurs.; int1 & assump1 -> int2: the physicalness and the damping cran happens.; int2 & sent13 -> int3: the framing does not occur.; int3 & sent11 -> int4: the crowing walk-up happens but the crowing smuttiness does not occur.; int4 & sent5 -> int5: the hatting does not occur.; sent7 & sent12 -> int6: the hat and the Finnishness happens.; int6 -> int7: the fact that the hat does not occur does not hold.; int5 & int7 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis;
the damping cran happens.
$hypothesis$ = the damping cran does not occur. ; $context$ = sent1: the parotidness occurs if the gluttony does not occur. sent2: the physicalness and the burglary occurs. sent3: the homeostaticness does not occur. sent4: that the damping mincer happens and the damping misdirection occurs hold. sent5: that the crowing walk-up happens and the crowing smuttiness does not occur prevents that the hatting happens. sent6: that the crowing walk-up does not occur and the framing does not occur causes that the burglary does not occur. sent7: if the compressibleness does not occur then the hatting occurs and the Finnishness occurs. sent8: the rolling maneuverer and the non-livelyness happens. sent9: both the damping cran and the physicalness happens if the fact that the burglary does not occur is not incorrect. sent10: if the frame does not occur the crowing walk-up occurs. sent11: the crowing walk-up happens and the crowing smuttiness does not occur if the fact that the frame does not occur is not wrong. sent12: the compressibleness does not occur. sent13: that the frame does not occur is caused by that the physicalness occurs and the damping cran happens. sent14: that the crowing walk-up does not occur triggers that both the damping cran and the regurgitation occurs. ; $proof$ = 
sent2 -> int1: the physicalness occurs.; void -> assump1: Let's assume that the damping cran occurs.; int1 & assump1 -> int2: the physicalness and the damping cran happens.; int2 & sent13 -> int3: the framing does not occur.; int3 & sent11 -> int4: the crowing walk-up happens but the crowing smuttiness does not occur.; int4 & sent5 -> int5: the hatting does not occur.; sent7 & sent12 -> int6: the hat and the Finnishness happens.; int6 -> int7: the fact that the hat does not occur does not hold.; int5 & int7 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis; __PROVED__