that the walkabout does not occur and the incurvating does not occur prevents that the Somerset occurs.
sent1: the contorting Sphaerocarpus happens if the noninheritableness occurs. sent2: the incurvating does not occur. sent3: that not the trusteeship but the contorting Sphaerocarpus occurs prevents that the Somerset happens. sent4: the noninheritableness happens if the manageableness happens. sent5: the manageableness happens and the fitting pignut occurs. sent6: if the trusteeship occurs that the walkabout does not occur and the incurvating does not occur is not correct.
void -> assump2: Let's assume that the trusteeship occurs.; sent6 & assump2 -> int1: that the walkabout does not occur and the incurvating does not occur does not hold.; void -> assump1: Let's assume that the walkabout does not occur and the incurvating does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the trusteeship does not occur.; sent5 -> int4: that the manageableness occurs hold.; sent4 & int4 -> int5: the noninheritableness occurs.; sent1 & int5 -> int6: the contorting Sphaerocarpus happens.; int3 & int6 -> int7: the fact that the trusteeship does not occur but the contorting Sphaerocarpus happens is correct.; int7 & sent3 -> int8: the Somerset does not occur.; [assump1] & int8 -> hypothesis;
$hypothesis$ = that the walkabout does not occur and the incurvating does not occur prevents that the Somerset occurs. ; $context$ = sent1: the contorting Sphaerocarpus happens if the noninheritableness occurs. sent2: the incurvating does not occur. sent3: that not the trusteeship but the contorting Sphaerocarpus occurs prevents that the Somerset happens. sent4: the noninheritableness happens if the manageableness happens. sent5: the manageableness happens and the fitting pignut occurs. sent6: if the trusteeship occurs that the walkabout does not occur and the incurvating does not occur is not correct. ; $proof$ = 
void -> assump2: Let's assume that the trusteeship occurs.; sent6 & assump2 -> int1: that the walkabout does not occur and the incurvating does not occur does not hold.; void -> assump1: Let's assume that the walkabout does not occur and the incurvating does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the trusteeship does not occur.; sent5 -> int4: that the manageableness occurs hold.; sent4 & int4 -> int5: the noninheritableness occurs.; sent1 & int5 -> int6: the contorting Sphaerocarpus happens.; int3 & int6 -> int7: the fact that the trusteeship does not occur but the contorting Sphaerocarpus happens is correct.; int7 & sent3 -> int8: the Somerset does not occur.; [assump1] & int8 -> hypothesis; __PROVED__