if the resecting kitchenette does not occur that the fact that the resecting tilde occurs and the goal-kick occurs is not correct is true.
sent1: the fact that the resecting tilde and the goal-kick happens does not hold if the unshrinkableness does not occur. sent2: that the resecting tilde and the goal-kick happens is not correct if the resecting kitchenette happens. sent3: that the horizontal but not the resecting kitchenette happens causes that the unshrinkableness does not occur. sent4: the horizontalness happens if the transpiring happens. sent5: the responsibleness happens. sent6: the transpiring happens.
sent4 & sent6 -> int1: the horizontal happens.; void -> assump1: Let's assume that the resecting kitchenette does not occur.; int1 & assump1 -> int2: the horizontalness but not the resecting kitchenette occurs.; sent3 & int2 -> int3: the unshrinkableness does not occur.; sent1 & int3 -> int4: the fact that the resecting tilde and the goal-kick happens is not correct.; [assump1] & int4 -> hypothesis;
$hypothesis$ = if the resecting kitchenette does not occur that the fact that the resecting tilde occurs and the goal-kick occurs is not correct is true. ; $context$ = sent1: the fact that the resecting tilde and the goal-kick happens does not hold if the unshrinkableness does not occur. sent2: that the resecting tilde and the goal-kick happens is not correct if the resecting kitchenette happens. sent3: that the horizontal but not the resecting kitchenette happens causes that the unshrinkableness does not occur. sent4: the horizontalness happens if the transpiring happens. sent5: the responsibleness happens. sent6: the transpiring happens. ; $proof$ = 
sent4 & sent6 -> int1: the horizontal happens.; void -> assump1: Let's assume that the resecting kitchenette does not occur.; int1 & assump1 -> int2: the horizontalness but not the resecting kitchenette occurs.; sent3 & int2 -> int3: the unshrinkableness does not occur.; sent1 & int3 -> int4: the fact that the resecting tilde and the goal-kick happens is not correct.; [assump1] & int4 -> hypothesis; __PROVED__