the unsalableness does not occur.
sent1: the misrepresentation does not occur and the aerialness does not occur. sent2: that the fabricating potsherd occurs hold. sent3: not the subartesianness but the apologeticsness happens if the postpositiveness occurs. sent4: if the subartesianness occurs then the professing occurs. sent5: the apologeticsness occurs and the subartesianness occurs if the postpositiveness does not occur. sent6: the apologeticsness is brought about by that the postpositiveness does not occur. sent7: if the fact that the quarantining youth-on-age does not occur and the fabricating potsherd does not occur is wrong then the multiple-choiceness happens. sent8: if the quarantining youth-on-age occurs then the unsalableness occurs. sent9: the postpositiveness does not occur. sent10: the unsalableness does not occur if the professing happens and the multiple-choiceness occurs. sent11: if the notice occurs then the postpositiveness happens. sent12: the notice occurs if that the fabricating placer happens but the notice does not occur is not correct.
void -> assump1: Let's assume that the quarantining youth-on-age does not occur and the fabricating potsherd does not occur.; assump1 -> int1: the fact that the fabricating potsherd does not occur is correct.; int1 & sent2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the quarantining youth-on-age does not occur and the fabricating potsherd does not occur is not right.; int3 & sent7 -> int4: the multiple-choiceness occurs.; sent5 & sent9 -> int5: both the apologeticsness and the subartesianness happens.; int5 -> int6: the subartesianness happens.; sent4 & int6 -> int7: the professing happens.; int4 & int7 -> int8: both the professing and the multiple-choiceness occurs.; int8 & sent10 -> hypothesis;
the unsalableness occurs.
$hypothesis$ = the unsalableness does not occur. ; $context$ = sent1: the misrepresentation does not occur and the aerialness does not occur. sent2: that the fabricating potsherd occurs hold. sent3: not the subartesianness but the apologeticsness happens if the postpositiveness occurs. sent4: if the subartesianness occurs then the professing occurs. sent5: the apologeticsness occurs and the subartesianness occurs if the postpositiveness does not occur. sent6: the apologeticsness is brought about by that the postpositiveness does not occur. sent7: if the fact that the quarantining youth-on-age does not occur and the fabricating potsherd does not occur is wrong then the multiple-choiceness happens. sent8: if the quarantining youth-on-age occurs then the unsalableness occurs. sent9: the postpositiveness does not occur. sent10: the unsalableness does not occur if the professing happens and the multiple-choiceness occurs. sent11: if the notice occurs then the postpositiveness happens. sent12: the notice occurs if that the fabricating placer happens but the notice does not occur is not correct. ; $proof$ = 
void -> assump1: Let's assume that the quarantining youth-on-age does not occur and the fabricating potsherd does not occur.; assump1 -> int1: the fact that the fabricating potsherd does not occur is correct.; int1 & sent2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the quarantining youth-on-age does not occur and the fabricating potsherd does not occur is not right.; int3 & sent7 -> int4: the multiple-choiceness occurs.; sent5 & sent9 -> int5: both the apologeticsness and the subartesianness happens.; int5 -> int6: the subartesianness happens.; sent4 & int6 -> int7: the professing happens.; int4 & int7 -> int8: both the professing and the multiple-choiceness occurs.; int8 & sent10 -> hypothesis; __PROVED__