the hypertensive does not occur.
sent1: the conquerableness happens. sent2: the brooming Dumuzi occurs if the mining occurs. sent3: if the conquerableness does not occur then the blip occurs and/or the piaffe happens. sent4: if the maxillodentalness does not occur then the atonement occurs. sent5: that the flip-flop does not occur leads to that both the piaffe and the conquerableness happens. sent6: the mining does not occur and the brooming Dumuzi does not occur if the casting happens. sent7: the mining does not occur if the cast occurs. sent8: if that the brooming Dumuzi occurs is right then the nonprescriptionness and/or the non-Nicaeanness happens. sent9: the blip occurs. sent10: the mining does not occur. sent11: the cast occurs and the mile occurs. sent12: if the Nicaeanness and the unhappiness occurs the hypertensive does not occur. sent13: if the piaffe happens the unhappiness happens. sent14: the flip-flop does not occur and the watering does not occur if the blip occurs. sent15: that both the Nicaeanness and the nonprescriptionness occurs is triggered by that the brooming Dumuzi does not occur. sent16: the nonprescriptionness occurs if the fact that the brooming Dumuzi does not occur is not false.
sent14 & sent9 -> int1: the flip-flop does not occur and the watering does not occur.; int1 -> int2: the flip-flop does not occur.; int2 & sent5 -> int3: both the piaffe and the conquerableness occurs.; int3 -> int4: the piaffe happens.; int4 & sent13 -> int5: the unhappiness happens.; sent11 -> int6: the casting happens.; sent6 & int6 -> int7: the mining does not occur and the brooming Dumuzi does not occur.; int7 -> int8: the brooming Dumuzi does not occur.; sent15 & int8 -> int9: both the Nicaeanness and the nonprescriptionness occurs.; int9 -> int10: the Nicaeanness occurs.; int5 & int10 -> int11: the Nicaeanness happens and the unhappiness occurs.; int11 & sent12 -> hypothesis;
the fact that the maxillodentalness happens hold.
$hypothesis$ = the hypertensive does not occur. ; $context$ = sent1: the conquerableness happens. sent2: the brooming Dumuzi occurs if the mining occurs. sent3: if the conquerableness does not occur then the blip occurs and/or the piaffe happens. sent4: if the maxillodentalness does not occur then the atonement occurs. sent5: that the flip-flop does not occur leads to that both the piaffe and the conquerableness happens. sent6: the mining does not occur and the brooming Dumuzi does not occur if the casting happens. sent7: the mining does not occur if the cast occurs. sent8: if that the brooming Dumuzi occurs is right then the nonprescriptionness and/or the non-Nicaeanness happens. sent9: the blip occurs. sent10: the mining does not occur. sent11: the cast occurs and the mile occurs. sent12: if the Nicaeanness and the unhappiness occurs the hypertensive does not occur. sent13: if the piaffe happens the unhappiness happens. sent14: the flip-flop does not occur and the watering does not occur if the blip occurs. sent15: that both the Nicaeanness and the nonprescriptionness occurs is triggered by that the brooming Dumuzi does not occur. sent16: the nonprescriptionness occurs if the fact that the brooming Dumuzi does not occur is not false. ; $proof$ = 
sent14 & sent9 -> int1: the flip-flop does not occur and the watering does not occur.; int1 -> int2: the flip-flop does not occur.; int2 & sent5 -> int3: both the piaffe and the conquerableness occurs.; int3 -> int4: the piaffe happens.; int4 & sent13 -> int5: the unhappiness happens.; sent11 -> int6: the casting happens.; sent6 & int6 -> int7: the mining does not occur and the brooming Dumuzi does not occur.; int7 -> int8: the brooming Dumuzi does not occur.; sent15 & int8 -> int9: both the Nicaeanness and the nonprescriptionness occurs.; int9 -> int10: the Nicaeanness occurs.; int5 & int10 -> int11: the Nicaeanness happens and the unhappiness occurs.; int11 & sent12 -> hypothesis; __PROVED__