the non-heterotrophicness leads to that the impeding tyrocidine does not occur but the adoptableness happens.
sent1: the harassment prevents that the heterotrophicness does not occur. sent2: that the heterotrophicness occurs results in that the impeding tyrocidine does not occur and the adoptableness occurs. sent3: the impeding tyrocidine does not occur if the harassment does not occur. sent4: that the harassment does not occur and/or that the heterotrophicness does not occur is brought about by the unadoptableness. sent5: if the transgression does not occur the refining pin-up and/or the implanting happens. sent6: the impeding tyrocidine does not occur. sent7: if the inspiration occurs then the impeding tyrocidine occurs but the adoptableness does not occur. sent8: the Noachianness occurs. sent9: if the bipedalness happens then that the refining Ahriman but not the extirpating happens does not hold. sent10: the refining Ahriman does not occur if that the refining Ahriman occurs but the extirpating does not occur is false. sent11: that the non-mastoidness and/or the dipterousness happens does not hold if the refining Ahriman does not occur. sent12: the socializing occurs. sent13: the impeding tyrocidine does not occur if the heterotrophicness does not occur. sent14: not the siding simper but the impeding oilstone occurs. sent15: the transgression does not occur if the fact that the fact that the mastoidness does not occur or the dipterousness happens or both does not hold is right. sent16: if the harassment does not occur then the impeding tyrocidine does not occur and the adoptableness occurs.
void -> assump1: Let's assume that the harassment happens.; sent1 & assump1 -> int1: the heterotrophicness happens.; void -> assump2: Let's assume that the heterotrophicness does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the harassment does not occur is true.; sent16 & int3 -> int4: not the impeding tyrocidine but the adoptableness occurs.; [assump2] & int4 -> hypothesis;
the deanship does not occur.
$hypothesis$ = the non-heterotrophicness leads to that the impeding tyrocidine does not occur but the adoptableness happens. ; $context$ = sent1: the harassment prevents that the heterotrophicness does not occur. sent2: that the heterotrophicness occurs results in that the impeding tyrocidine does not occur and the adoptableness occurs. sent3: the impeding tyrocidine does not occur if the harassment does not occur. sent4: that the harassment does not occur and/or that the heterotrophicness does not occur is brought about by the unadoptableness. sent5: if the transgression does not occur the refining pin-up and/or the implanting happens. sent6: the impeding tyrocidine does not occur. sent7: if the inspiration occurs then the impeding tyrocidine occurs but the adoptableness does not occur. sent8: the Noachianness occurs. sent9: if the bipedalness happens then that the refining Ahriman but not the extirpating happens does not hold. sent10: the refining Ahriman does not occur if that the refining Ahriman occurs but the extirpating does not occur is false. sent11: that the non-mastoidness and/or the dipterousness happens does not hold if the refining Ahriman does not occur. sent12: the socializing occurs. sent13: the impeding tyrocidine does not occur if the heterotrophicness does not occur. sent14: not the siding simper but the impeding oilstone occurs. sent15: the transgression does not occur if the fact that the fact that the mastoidness does not occur or the dipterousness happens or both does not hold is right. sent16: if the harassment does not occur then the impeding tyrocidine does not occur and the adoptableness occurs. ; $proof$ = 
void -> assump1: Let's assume that the harassment happens.; sent1 & assump1 -> int1: the heterotrophicness happens.; void -> assump2: Let's assume that the heterotrophicness does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the harassment does not occur is true.; sent16 & int3 -> int4: not the impeding tyrocidine but the adoptableness occurs.; [assump2] & int4 -> hypothesis; __PROVED__