the Zoroastrianness does not occur.
sent1: if the fact that that the non-zymoticness and the non-fibrocalcificness occurs hold does not hold then that the calvary does not occur is not false. sent2: the fact that both the non-zymoticness and the fibrocalcificness occurs does not hold. sent3: that the undressing Bramante occurs prevents that the cluck occurs. sent4: the Zoroastrianness does not occur if the calvary does not occur. sent5: the scraping does not occur if the fact that both the fibrocalcificness and the scraping happens is false. sent6: if the popery occurs the calvary occurs but the fibrocalcificness does not occur. sent7: the baccarat does not occur. sent8: the baccarat does not occur but the cardiographicness happens. sent9: that the zymoticness occurs is not false. sent10: the fact that the zymoticness and the non-fibrocalcificness happens is not true. sent11: if the baccarat does not occur the fact that the fibrocalcificness happens and the scrape occurs is incorrect.
void -> assump1: Let's assume that the non-zymoticness and the non-fibrocalcificness happens.; assump1 -> int1: the zymoticness does not occur.; sent9 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the zymoticness does not occur and the fibrocalcificness does not occur is wrong.; sent1 & int3 -> int4: the calvary does not occur.; sent4 & int4 -> hypothesis;
the Zoroastrianness happens.
$hypothesis$ = the Zoroastrianness does not occur. ; $context$ = sent1: if the fact that that the non-zymoticness and the non-fibrocalcificness occurs hold does not hold then that the calvary does not occur is not false. sent2: the fact that both the non-zymoticness and the fibrocalcificness occurs does not hold. sent3: that the undressing Bramante occurs prevents that the cluck occurs. sent4: the Zoroastrianness does not occur if the calvary does not occur. sent5: the scraping does not occur if the fact that both the fibrocalcificness and the scraping happens is false. sent6: if the popery occurs the calvary occurs but the fibrocalcificness does not occur. sent7: the baccarat does not occur. sent8: the baccarat does not occur but the cardiographicness happens. sent9: that the zymoticness occurs is not false. sent10: the fact that the zymoticness and the non-fibrocalcificness happens is not true. sent11: if the baccarat does not occur the fact that the fibrocalcificness happens and the scrape occurs is incorrect. ; $proof$ = 
void -> assump1: Let's assume that the non-zymoticness and the non-fibrocalcificness happens.; assump1 -> int1: the zymoticness does not occur.; sent9 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the zymoticness does not occur and the fibrocalcificness does not occur is wrong.; sent1 & int3 -> int4: the calvary does not occur.; sent4 & int4 -> hypothesis; __PROVED__