the fact that the temperance occurs and/or the hydrometricness occurs does not hold.
sent1: if the untuning breakthrough does not occur then that the tasting but not the isometrics happens is not correct. sent2: if the fact that the tasting occurs but the isometrics does not occur is not correct then the librarianship does not occur. sent3: that the untuning breakthrough does not occur is right if that the eightsome does not occur is not incorrect. sent4: the hydrometricness and the interconnection happens. sent5: the bumpiness and the blondness happens. sent6: the blastoporalness does not occur if that not the reimposition but the blastoporalness occurs is wrong. sent7: if the blastoporalness does not occur both the indurating and the untuning clarinetist happens. sent8: if the interconnection does not occur then the hydrometricness and the delight happens. sent9: if the fact that the blond happens is true not the eightsome but the gossip occurs. sent10: that the reimposition does not occur and the blastoporalness happens is wrong if the librarianship does not occur.
sent4 -> int1: the hydrometricness occurs.; int1 -> hypothesis;
the delighting happens.
sent5 -> int2: the fact that the blond occurs is right.; sent9 & int2 -> int3: not the eightsome but the gossip occurs.; int3 -> int4: the eightsome does not occur.; sent3 & int4 -> int5: that the untuning breakthrough does not occur is not incorrect.; sent1 & int5 -> int6: that the tasting but not the isometricsness happens does not hold.; sent2 & int6 -> int7: the librarianship does not occur.; sent10 & int7 -> int8: the fact that not the reimposition but the blastoporalness occurs is not true.; sent6 & int8 -> int9: the blastoporalness does not occur.; sent7 & int9 -> int10: both the indurating and the untuning clarinetist happens.; int10 -> int11: the indurating occurs.; int11 -> int12: the indurating happens and/or the temperance does not occur.;
$hypothesis$ = the fact that the temperance occurs and/or the hydrometricness occurs does not hold. ; $context$ = sent1: if the untuning breakthrough does not occur then that the tasting but not the isometrics happens is not correct. sent2: if the fact that the tasting occurs but the isometrics does not occur is not correct then the librarianship does not occur. sent3: that the untuning breakthrough does not occur is right if that the eightsome does not occur is not incorrect. sent4: the hydrometricness and the interconnection happens. sent5: the bumpiness and the blondness happens. sent6: the blastoporalness does not occur if that not the reimposition but the blastoporalness occurs is wrong. sent7: if the blastoporalness does not occur both the indurating and the untuning clarinetist happens. sent8: if the interconnection does not occur then the hydrometricness and the delight happens. sent9: if the fact that the blond happens is true not the eightsome but the gossip occurs. sent10: that the reimposition does not occur and the blastoporalness happens is wrong if the librarianship does not occur. ; $proof$ = 
sent4 -> int1: the hydrometricness occurs.; int1 -> hypothesis; __DISPROVED__