the pivoting does not occur.
sent1: the subrogating yanquapin occurs if the hoist occurs. sent2: if the marking occurs then the subrogating sportscast occurs. sent3: that the subrogating sportscast occurs prevents that the hoisting does not occur. sent4: both the sidearmness and the marking happens. sent5: the sidearmness and the pivot happens if that the marking does not occur is not false. sent6: the fact that the etiologicalness happens and the igneousness happens does not hold. sent7: the etiologicalness does not occur if the fact that both the etiologicalness and the igneousness happens is incorrect. sent8: the fact that the Germanism does not occur is true if the fact that the etiologicalness does not occur is true. sent9: the marking does not occur if the hoisting occurs and the subrogating sportscast does not occur. sent10: if the Germanism does not occur the stepping happens and the besoting cosmetician happens. sent11: the pivot does not occur if the stepping happens and the subrogating yanquapin happens.
sent4 -> int1: the marking happens.; int1 & sent2 -> int2: the subrogating sportscast happens.; int2 & sent3 -> int3: the hoist occurs.; int3 & sent1 -> int4: the subrogating yanquapin happens.; sent7 & sent6 -> int5: the etiologicalness does not occur.; sent8 & int5 -> int6: the Germanism does not occur.; sent10 & int6 -> int7: the stepping and the besoting cosmetician happens.; int7 -> int8: the stepping occurs.; int4 & int8 -> int9: the step and the subrogating yanquapin occurs.; int9 & sent11 -> hypothesis;
the pivot occurs.
$hypothesis$ = the pivoting does not occur. ; $context$ = sent1: the subrogating yanquapin occurs if the hoist occurs. sent2: if the marking occurs then the subrogating sportscast occurs. sent3: that the subrogating sportscast occurs prevents that the hoisting does not occur. sent4: both the sidearmness and the marking happens. sent5: the sidearmness and the pivot happens if that the marking does not occur is not false. sent6: the fact that the etiologicalness happens and the igneousness happens does not hold. sent7: the etiologicalness does not occur if the fact that both the etiologicalness and the igneousness happens is incorrect. sent8: the fact that the Germanism does not occur is true if the fact that the etiologicalness does not occur is true. sent9: the marking does not occur if the hoisting occurs and the subrogating sportscast does not occur. sent10: if the Germanism does not occur the stepping happens and the besoting cosmetician happens. sent11: the pivot does not occur if the stepping happens and the subrogating yanquapin happens. ; $proof$ = 
sent4 -> int1: the marking happens.; int1 & sent2 -> int2: the subrogating sportscast happens.; int2 & sent3 -> int3: the hoist occurs.; int3 & sent1 -> int4: the subrogating yanquapin happens.; sent7 & sent6 -> int5: the etiologicalness does not occur.; sent8 & int5 -> int6: the Germanism does not occur.; sent10 & int6 -> int7: the stepping and the besoting cosmetician happens.; int7 -> int8: the stepping occurs.; int4 & int8 -> int9: the step and the subrogating yanquapin occurs.; int9 & sent11 -> hypothesis; __PROVED__