the cambering Curtisia does not occur.
sent1: if the rolling affrication does not occur that the neuralgicness but not the cambering Curtisia happens hold. sent2: the cambering Hazardia happens if the fact that the premenstrualness but not the repairing occurs is wrong. sent3: the measured happens. sent4: the determination does not occur if the fact that either the ready-madeness happens or the rolling affrication does not occur or both is incorrect. sent5: the MRI but not the Regency happens. sent6: that the rolling affrication does not occur is correct if the determination and/or the ready-made occurs. sent7: if that the determination happens does not hold the fact that the cambering Hazardia happens but the repair does not occur is not right. sent8: if the repair happens then the cambering Curtisia but not the premenstrualness happens. sent9: the cambering affair happens. sent10: that the rolling affrication does not occur leads to the neuralgicness. sent11: the neuralgicness occurs. sent12: the determination occurs if the cambering Hazardia happens. sent13: the premenstrualness does not occur. sent14: the organizationalness happens. sent15: that the cambering globe does not occur is right. sent16: the cambering Hazardia occurs if the repairing happens. sent17: the enticement but not the gantlet happens. sent18: the opening localism but not the sortition occurs.
void -> assump1: Let's assume that the premenstrualness happens but the repairing does not occur.; assump1 -> int1: the premenstrualness occurs.; int1 & sent13 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the premenstrualness occurs but the repairing does not occur is not right.; sent2 & int3 -> int4: the fact that the cambering Hazardia occurs is true.; sent12 & int4 -> int5: the determination happens.; int5 -> int6: the determination happens and/or the ready-madeness happens.; sent6 & int6 -> int7: the rolling affrication does not occur.; sent1 & int7 -> int8: the neuralgicness occurs and the cambering Curtisia does not occur.; int8 -> hypothesis;
the cambering Curtisia happens.
$hypothesis$ = the cambering Curtisia does not occur. ; $context$ = sent1: if the rolling affrication does not occur that the neuralgicness but not the cambering Curtisia happens hold. sent2: the cambering Hazardia happens if the fact that the premenstrualness but not the repairing occurs is wrong. sent3: the measured happens. sent4: the determination does not occur if the fact that either the ready-madeness happens or the rolling affrication does not occur or both is incorrect. sent5: the MRI but not the Regency happens. sent6: that the rolling affrication does not occur is correct if the determination and/or the ready-made occurs. sent7: if that the determination happens does not hold the fact that the cambering Hazardia happens but the repair does not occur is not right. sent8: if the repair happens then the cambering Curtisia but not the premenstrualness happens. sent9: the cambering affair happens. sent10: that the rolling affrication does not occur leads to the neuralgicness. sent11: the neuralgicness occurs. sent12: the determination occurs if the cambering Hazardia happens. sent13: the premenstrualness does not occur. sent14: the organizationalness happens. sent15: that the cambering globe does not occur is right. sent16: the cambering Hazardia occurs if the repairing happens. sent17: the enticement but not the gantlet happens. sent18: the opening localism but not the sortition occurs. ; $proof$ = 
void -> assump1: Let's assume that the premenstrualness happens but the repairing does not occur.; assump1 -> int1: the premenstrualness occurs.; int1 & sent13 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the premenstrualness occurs but the repairing does not occur is not right.; sent2 & int3 -> int4: the fact that the cambering Hazardia occurs is true.; sent12 & int4 -> int5: the determination happens.; int5 -> int6: the determination happens and/or the ready-madeness happens.; sent6 & int6 -> int7: the rolling affrication does not occur.; sent1 & int7 -> int8: the neuralgicness occurs and the cambering Curtisia does not occur.; int8 -> hypothesis; __PROVED__