that the sectarianness or the smearing or both occurs is not true.
sent1: the palatalizing does not occur if the forgettableness happens. sent2: the sparging paternity does not occur if the browsing does not occur and the elastance does not occur. sent3: that the electrophoreticness but not the ophthalmoscopy happens is caused by the wheeling. sent4: the forgettableness results in that the speaking partialness does not occur but the profiting occurs. sent5: that the sparging paternity does not occur yields that the mass-spectrometricness does not occur and the updating headsail does not occur. sent6: that the browse does not occur is brought about by that the sparging paternity and the elastance occurs. sent7: the browse does not occur and the elastance does not occur if the nonsectarianness does not occur. sent8: the fact that that the forgettableness does not occur and the profiting occurs hold is not correct. sent9: the nonsectarianness occurs. sent10: the forgettableness occurs if the electrophoreticness occurs. sent11: the nonsectarianness does not occur if the palatalizing but not the smearing happens. sent12: both the updating headsail and the sparging paternity happens. sent13: the palatalizing does not occur if the fact that not the forgettableness but the profit occurs is not right. sent14: the updating handhold occurs. sent15: the fact that the fact that the nonsectarianness does not occur or the smearing occurs or both is incorrect is not wrong if the elastance does not occur. sent16: if the fact that the browsing does not occur and the speaking partialness does not occur is not right the browsing happens. sent17: that the browsing does not occur and the speaking partialness does not occur is false if the palatalizing does not occur. sent18: the fact that the forgettableness happens and the profit happens is incorrect.
sent12 -> int1: the fact that the sparging paternity does not occur does not hold.; void -> assump1: Let's assume that the fact that the elastance occurs is correct.; int1 & assump1 -> int2: the sparging paternity and the elastance happens.; int2 & sent6 -> int3: the browsing does not occur.; sent13 & sent8 -> int4: that the palatalizing does not occur is not wrong.; sent17 & int4 -> int5: the fact that the browsing does not occur and the speaking partialness does not occur is not right.; sent16 & int5 -> int6: the browsing occurs.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the elastance does not occur.; int8 & sent15 -> hypothesis;
the mass-spectrometricness does not occur.
$hypothesis$ = that the sectarianness or the smearing or both occurs is not true. ; $context$ = sent1: the palatalizing does not occur if the forgettableness happens. sent2: the sparging paternity does not occur if the browsing does not occur and the elastance does not occur. sent3: that the electrophoreticness but not the ophthalmoscopy happens is caused by the wheeling. sent4: the forgettableness results in that the speaking partialness does not occur but the profiting occurs. sent5: that the sparging paternity does not occur yields that the mass-spectrometricness does not occur and the updating headsail does not occur. sent6: that the browse does not occur is brought about by that the sparging paternity and the elastance occurs. sent7: the browse does not occur and the elastance does not occur if the nonsectarianness does not occur. sent8: the fact that that the forgettableness does not occur and the profiting occurs hold is not correct. sent9: the nonsectarianness occurs. sent10: the forgettableness occurs if the electrophoreticness occurs. sent11: the nonsectarianness does not occur if the palatalizing but not the smearing happens. sent12: both the updating headsail and the sparging paternity happens. sent13: the palatalizing does not occur if the fact that not the forgettableness but the profit occurs is not right. sent14: the updating handhold occurs. sent15: the fact that the fact that the nonsectarianness does not occur or the smearing occurs or both is incorrect is not wrong if the elastance does not occur. sent16: if the fact that the browsing does not occur and the speaking partialness does not occur is not right the browsing happens. sent17: that the browsing does not occur and the speaking partialness does not occur is false if the palatalizing does not occur. sent18: the fact that the forgettableness happens and the profit happens is incorrect. ; $proof$ = 
sent12 -> int1: the fact that the sparging paternity does not occur does not hold.; void -> assump1: Let's assume that the fact that the elastance occurs is correct.; int1 & assump1 -> int2: the sparging paternity and the elastance happens.; int2 & sent6 -> int3: the browsing does not occur.; sent13 & sent8 -> int4: that the palatalizing does not occur is not wrong.; sent17 & int4 -> int5: the fact that the browsing does not occur and the speaking partialness does not occur is not right.; sent16 & int5 -> int6: the browsing occurs.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the elastance does not occur.; int8 & sent15 -> hypothesis; __PROVED__