that the excluding preference and the excluding lagan happens is brought about by the non-uvularness.
sent1: if that the pricing deep and/or the non-wetness happens does not hold the awfulness does not occur. sent2: if that the fact that the awfulness happens but the nesting does not occur is correct is not true then the nesting happens. sent3: if the staphylococcalness happens the fittedness happens. sent4: if the banging occurs the excluding preference happens. sent5: that the wetness does not occur and the pricing deep does not occur is brought about by that the subatomicness does not occur. sent6: that the banging occurs is caused by that the gallop does not occur and/or that the Cyrillic occurs. sent7: that the semiautobiographicalness does not occur is prevented by that the uvularness happens. sent8: the uvularness results in that the excluding preference and the excluding lagan happens. sent9: the fact that either the pricing deep or the non-wetness or both happens is false. sent10: the fact that the pricing Tzara occurs or the pricing Bloemfontein does not occur or both is incorrect. sent11: that the subatomicness happens but the mingling botulism does not occur is false if the fitting occurs. sent12: if the uvularness does not occur then the gallop does not occur and/or the Cyrillicness happens. sent13: the galloping or the Cyrillic or both occurs. sent14: both the staphylococcalness and the aftershock happens if the fact that the pervaporation does not occur hold. sent15: if that the subatomicness but not the mingling botulism occurs does not hold then the subatomicness does not occur. sent16: the nesting occurs and the excluding lagan occurs if the awfulness does not occur. sent17: the fact that the awfulness occurs but the nesting does not occur is not correct if the pricing deep does not occur. sent18: that the pervaporation does not occur is right if the fact that not the rabidness but the pervaporation happens is false.
void -> assump1: Let's assume that the uvularness does not occur.; sent12 & assump1 -> int1: the gallop does not occur and/or the Cyrillic occurs.; int1 & sent6 -> int2: the banging happens.; int2 & sent4 -> int3: the excluding preference occurs.; sent1 & sent9 -> int4: the awfulness does not occur.; sent16 & int4 -> int5: both the nest and the excluding lagan occurs.; int5 -> int6: the excluding lagan happens.; int3 & int6 -> int7: that the excluding preference occurs and the excluding lagan occurs hold.; [assump1] & int7 -> hypothesis;
the semiautobiographicalness happens.
$hypothesis$ = that the excluding preference and the excluding lagan happens is brought about by the non-uvularness. ; $context$ = sent1: if that the pricing deep and/or the non-wetness happens does not hold the awfulness does not occur. sent2: if that the fact that the awfulness happens but the nesting does not occur is correct is not true then the nesting happens. sent3: if the staphylococcalness happens the fittedness happens. sent4: if the banging occurs the excluding preference happens. sent5: that the wetness does not occur and the pricing deep does not occur is brought about by that the subatomicness does not occur. sent6: that the banging occurs is caused by that the gallop does not occur and/or that the Cyrillic occurs. sent7: that the semiautobiographicalness does not occur is prevented by that the uvularness happens. sent8: the uvularness results in that the excluding preference and the excluding lagan happens. sent9: the fact that either the pricing deep or the non-wetness or both happens is false. sent10: the fact that the pricing Tzara occurs or the pricing Bloemfontein does not occur or both is incorrect. sent11: that the subatomicness happens but the mingling botulism does not occur is false if the fitting occurs. sent12: if the uvularness does not occur then the gallop does not occur and/or the Cyrillicness happens. sent13: the galloping or the Cyrillic or both occurs. sent14: both the staphylococcalness and the aftershock happens if the fact that the pervaporation does not occur hold. sent15: if that the subatomicness but not the mingling botulism occurs does not hold then the subatomicness does not occur. sent16: the nesting occurs and the excluding lagan occurs if the awfulness does not occur. sent17: the fact that the awfulness occurs but the nesting does not occur is not correct if the pricing deep does not occur. sent18: that the pervaporation does not occur is right if the fact that not the rabidness but the pervaporation happens is false. ; $proof$ = 
void -> assump1: Let's assume that the uvularness does not occur.; sent12 & assump1 -> int1: the gallop does not occur and/or the Cyrillic occurs.; int1 & sent6 -> int2: the banging happens.; int2 & sent4 -> int3: the excluding preference occurs.; sent1 & sent9 -> int4: the awfulness does not occur.; sent16 & int4 -> int5: both the nest and the excluding lagan occurs.; int5 -> int6: the excluding lagan happens.; int3 & int6 -> int7: that the excluding preference occurs and the excluding lagan occurs hold.; [assump1] & int7 -> hypothesis; __PROVED__