that the tetragonalness occurs but the worshipping does not occur is not true.
sent1: both the troubling Talinum and the phlebectomy occurs. sent2: the fact that the tetragonalness but not the worship occurs is false if the fact that the resetting retriever does not occur is not wrong. sent3: the lettering fetus occurs. sent4: the fibrocalcificness and the lettering fetus happens. sent5: if the resetting retriever happens and the middleness occurs then the fibrocalcificness does not occur. sent6: if the conservative does not occur that the middle occurs and the fibrocalcificness does not occur does not hold. sent7: that the lettering Hunan does not occur and/or the non-zodiacalness is triggered by that the resetting retriever does not occur. sent8: that either the disappearance does not occur or the designating does not occur or both prevents that the defiance occurs. sent9: the conservative happens or the middling does not occur or both. sent10: if either the non-conservativeness or the non-middleness or both happens the worshipping does not occur. sent11: the tryst does not occur and/or the Vietnameseness does not occur. sent12: the resetting retriever occurs. sent13: if the conservative does not occur then the worshipping does not occur. sent14: the antheridialness occurs. sent15: both the tetragonalness and the antheridialness happens.
void -> assump1: Let's assume that the fact that the middle happens is true.; sent12 & assump1 -> int1: the resetting retriever and the middleness occurs.; int1 & sent5 -> int2: the fibrocalcificness does not occur.; sent4 -> int3: the fibrocalcificness happens.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the middleness does not occur.; int5 -> int6: the conservativeness does not occur and/or the middle does not occur.; int6 & sent10 -> int7: the worship does not occur.; sent15 -> int8: the tetragonalness occurs.; int7 & int8 -> hypothesis;
the lettering Hunan does not occur and/or the zodiacalness does not occur.
$hypothesis$ = that the tetragonalness occurs but the worshipping does not occur is not true. ; $context$ = sent1: both the troubling Talinum and the phlebectomy occurs. sent2: the fact that the tetragonalness but not the worship occurs is false if the fact that the resetting retriever does not occur is not wrong. sent3: the lettering fetus occurs. sent4: the fibrocalcificness and the lettering fetus happens. sent5: if the resetting retriever happens and the middleness occurs then the fibrocalcificness does not occur. sent6: if the conservative does not occur that the middle occurs and the fibrocalcificness does not occur does not hold. sent7: that the lettering Hunan does not occur and/or the non-zodiacalness is triggered by that the resetting retriever does not occur. sent8: that either the disappearance does not occur or the designating does not occur or both prevents that the defiance occurs. sent9: the conservative happens or the middling does not occur or both. sent10: if either the non-conservativeness or the non-middleness or both happens the worshipping does not occur. sent11: the tryst does not occur and/or the Vietnameseness does not occur. sent12: the resetting retriever occurs. sent13: if the conservative does not occur then the worshipping does not occur. sent14: the antheridialness occurs. sent15: both the tetragonalness and the antheridialness happens. ; $proof$ = 
void -> assump1: Let's assume that the fact that the middle happens is true.; sent12 & assump1 -> int1: the resetting retriever and the middleness occurs.; int1 & sent5 -> int2: the fibrocalcificness does not occur.; sent4 -> int3: the fibrocalcificness happens.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the middleness does not occur.; int5 -> int6: the conservativeness does not occur and/or the middle does not occur.; int6 & sent10 -> int7: the worship does not occur.; sent15 -> int8: the tetragonalness occurs.; int7 & int8 -> hypothesis; __DISPROVED__