the hyperextension occurs.
sent1: both the droning mestranol and the droning Vasarely happens. sent2: the training does not occur. sent3: both the hearts and the callithumpianness happens if the training does not occur. sent4: the unnecessariness does not occur. sent5: either the setting suburb or the non-physiologicalness or both happens. sent6: that the lapidariness does not occur is caused by that the wideness occurs and the unnecessariness happens. sent7: the regenerating happens if the droning cusk-eel does not occur. sent8: that the training does not occur leads to the callithumpianness. sent9: the spooking does not occur. sent10: if the wideness does not occur but the mioticness occurs then the hearts does not occur. sent11: if the evisceration does not occur and the spooking does not occur then the wideness does not occur. sent12: the physiologicalness does not occur. sent13: the invisibleness does not occur. sent14: the evisceration does not occur and the spooking does not occur if the unnecessariness does not occur. sent15: if the setting suburb occurs the fact that the wideness does not occur and the hearts does not occur is incorrect. sent16: that the monetariness happens and the contributing Windsor does not occur prevents that the extinguishing convolvulus occurs. sent17: the contributing trusteeship occurs. sent18: that the setting suburb does not occur and the miotic does not occur causes that the hyperextension occurs. sent19: if the setting suburb does not occur and/or the physiologicalness does not occur the setting suburb does not occur. sent20: the fact that the setting suburb occurs is not wrong if the physiologicalness occurs.
sent14 & sent4 -> int1: the evisceration does not occur and the spooking does not occur.; int1 & sent11 -> int2: the wideness does not occur.; void -> assump1: Let's assume that the miotic occurs.; int2 & assump1 -> int3: the non-wideness and the mioticness happens.; int3 & sent10 -> int4: the hearts does not occur.; sent3 & sent2 -> int5: the hearts and the callithumpianness occurs.; int5 -> int6: the hearts happens.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the mioticness does not occur.; sent12 -> int9: the setting suburb does not occur and/or the physiologicalness does not occur.; sent19 & int9 -> int10: the setting suburb does not occur.; int8 & int10 -> int11: the setting suburb does not occur and the mioticness does not occur.; int11 & sent18 -> hypothesis;
the lapidary does not occur.
$hypothesis$ = the hyperextension occurs. ; $context$ = sent1: both the droning mestranol and the droning Vasarely happens. sent2: the training does not occur. sent3: both the hearts and the callithumpianness happens if the training does not occur. sent4: the unnecessariness does not occur. sent5: either the setting suburb or the non-physiologicalness or both happens. sent6: that the lapidariness does not occur is caused by that the wideness occurs and the unnecessariness happens. sent7: the regenerating happens if the droning cusk-eel does not occur. sent8: that the training does not occur leads to the callithumpianness. sent9: the spooking does not occur. sent10: if the wideness does not occur but the mioticness occurs then the hearts does not occur. sent11: if the evisceration does not occur and the spooking does not occur then the wideness does not occur. sent12: the physiologicalness does not occur. sent13: the invisibleness does not occur. sent14: the evisceration does not occur and the spooking does not occur if the unnecessariness does not occur. sent15: if the setting suburb occurs the fact that the wideness does not occur and the hearts does not occur is incorrect. sent16: that the monetariness happens and the contributing Windsor does not occur prevents that the extinguishing convolvulus occurs. sent17: the contributing trusteeship occurs. sent18: that the setting suburb does not occur and the miotic does not occur causes that the hyperextension occurs. sent19: if the setting suburb does not occur and/or the physiologicalness does not occur the setting suburb does not occur. sent20: the fact that the setting suburb occurs is not wrong if the physiologicalness occurs. ; $proof$ = 
sent14 & sent4 -> int1: the evisceration does not occur and the spooking does not occur.; int1 & sent11 -> int2: the wideness does not occur.; void -> assump1: Let's assume that the miotic occurs.; int2 & assump1 -> int3: the non-wideness and the mioticness happens.; int3 & sent10 -> int4: the hearts does not occur.; sent3 & sent2 -> int5: the hearts and the callithumpianness occurs.; int5 -> int6: the hearts happens.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the mioticness does not occur.; sent12 -> int9: the setting suburb does not occur and/or the physiologicalness does not occur.; sent19 & int9 -> int10: the setting suburb does not occur.; int8 & int10 -> int11: the setting suburb does not occur and the mioticness does not occur.; int11 & sent18 -> hypothesis; __PROVED__