the retaining occurs.
sent1: that if the bacteroidalness does not occur the citation and the molding Ajax occurs hold. sent2: that the molding Unitarianism happens is true. sent3: if that the inexhaustibleness does not occur and the outselling checkmate does not occur is not right then the inexhaustibleness happens. sent4: the syntagmaticness and the wetting happens. sent5: that the retaining does not occur is prevented by that not the heritage but the molding Unitarianism occurs. sent6: if the citation happens then the wettingness happens. sent7: the devoicing rut does not occur if the devoicing advowson happens but the devoicing Ana does not occur. sent8: if the fact that the fact that not the heritage but the molding Unitarianism occurs is wrong hold the syntagmaticness does not occur. sent9: the wettingness occurs. sent10: that the bore does not occur but the disconnection happens is not true. sent11: the inexhaustibleness leads to that the devoicing advowson but not the devoicing Ana happens. sent12: not the inheritance but the evangelisticness occurs if the retaining does not occur. sent13: both the non-bacteroidalness and the non-tectonicness occurs if the devoicing rut does not occur. sent14: the syntagmaticness does not occur if the molding Unitarianism does not occur.
void -> assump1: Let's assume that the fact that the heritage does not occur and the molding Unitarianism occurs is incorrect.; sent8 & assump1 -> int1: the syntagmaticness does not occur.; sent4 -> int2: the syntagmaticness happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the heritage does not occur and the molding Unitarianism occurs.; int4 & sent5 -> hypothesis;
not the inheritance but the evangelisticness happens.
$hypothesis$ = the retaining occurs. ; $context$ = sent1: that if the bacteroidalness does not occur the citation and the molding Ajax occurs hold. sent2: that the molding Unitarianism happens is true. sent3: if that the inexhaustibleness does not occur and the outselling checkmate does not occur is not right then the inexhaustibleness happens. sent4: the syntagmaticness and the wetting happens. sent5: that the retaining does not occur is prevented by that not the heritage but the molding Unitarianism occurs. sent6: if the citation happens then the wettingness happens. sent7: the devoicing rut does not occur if the devoicing advowson happens but the devoicing Ana does not occur. sent8: if the fact that the fact that not the heritage but the molding Unitarianism occurs is wrong hold the syntagmaticness does not occur. sent9: the wettingness occurs. sent10: that the bore does not occur but the disconnection happens is not true. sent11: the inexhaustibleness leads to that the devoicing advowson but not the devoicing Ana happens. sent12: not the inheritance but the evangelisticness occurs if the retaining does not occur. sent13: both the non-bacteroidalness and the non-tectonicness occurs if the devoicing rut does not occur. sent14: the syntagmaticness does not occur if the molding Unitarianism does not occur. ; $proof$ = 
void -> assump1: Let's assume that the fact that the heritage does not occur and the molding Unitarianism occurs is incorrect.; sent8 & assump1 -> int1: the syntagmaticness does not occur.; sent4 -> int2: the syntagmaticness happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the heritage does not occur and the molding Unitarianism occurs.; int4 & sent5 -> hypothesis; __PROVED__