the de-escalation happens and the shaft occurs.
sent1: the sheathing synagogue does not occur. sent2: that the rockiness happens but the lengthening does not occur is not right if the sheathing synagogue happens. sent3: the Thracianness does not occur. sent4: the transferring flourish happens. sent5: if the ordinal occurs that the hydrometricness but not the caryophyllaceousness happens is not right. sent6: that the census occurs is prevented by the non-hydrometricness. sent7: if that the hydrometricness occurs but the caryophyllaceousness does not occur is false then that the hydrometricness does not occur is right. sent8: the fact that the censusing does not occur and the hydrometricness does not occur is not true. sent9: if the transferring Dolby does not occur or the make-believe happens or both the ordinalness occurs. sent10: the rockiness does not occur if that the rockiness but not the lengthening happens is incorrect. sent11: that the Thracian does not occur yields that both the submitting and the titration happens. sent12: either the de-escalation occurs or the submitting occurs or both if the shafting does not occur. sent13: the embolectomy does not occur if that the census does not occur and the hydrometricness does not occur is false. sent14: the caesuralness and the dogmaticness occurs. sent15: the shaft and the needlework occurs if the embolectomy does not occur. sent16: that the transferring Dolby does not occur or the make-believe or both is brought about by that the referring allowance happens. sent17: if the embolectomy happens then that not the titration but the needlework occurs does not hold. sent18: the de-escalation happens if the lengthening does not occur. sent19: the needlework happens.
void -> assump1: Let's assume that the lengthening happens.; assump1 & sent1 -> int1: the lengthening occurs but the sheathing synagogue does not occur.; sent11 & sent3 -> int2: the submitting and the titration happens.; int2 -> int3: the submitting occurs.; sent13 & sent8 -> int4: the fact that the embolectomy does not occur hold.; sent15 & int4 -> int5: the shaft happens and the needlework occurs.; int5 -> int6: the shafting happens.;
the rockiness does not occur.
$hypothesis$ = the de-escalation happens and the shaft occurs. ; $context$ = sent1: the sheathing synagogue does not occur. sent2: that the rockiness happens but the lengthening does not occur is not right if the sheathing synagogue happens. sent3: the Thracianness does not occur. sent4: the transferring flourish happens. sent5: if the ordinal occurs that the hydrometricness but not the caryophyllaceousness happens is not right. sent6: that the census occurs is prevented by the non-hydrometricness. sent7: if that the hydrometricness occurs but the caryophyllaceousness does not occur is false then that the hydrometricness does not occur is right. sent8: the fact that the censusing does not occur and the hydrometricness does not occur is not true. sent9: if the transferring Dolby does not occur or the make-believe happens or both the ordinalness occurs. sent10: the rockiness does not occur if that the rockiness but not the lengthening happens is incorrect. sent11: that the Thracian does not occur yields that both the submitting and the titration happens. sent12: either the de-escalation occurs or the submitting occurs or both if the shafting does not occur. sent13: the embolectomy does not occur if that the census does not occur and the hydrometricness does not occur is false. sent14: the caesuralness and the dogmaticness occurs. sent15: the shaft and the needlework occurs if the embolectomy does not occur. sent16: that the transferring Dolby does not occur or the make-believe or both is brought about by that the referring allowance happens. sent17: if the embolectomy happens then that not the titration but the needlework occurs does not hold. sent18: the de-escalation happens if the lengthening does not occur. sent19: the needlework happens. ; $proof$ = 
void -> assump1: Let's assume that the lengthening happens.; assump1 & sent1 -> int1: the lengthening occurs but the sheathing synagogue does not occur.; sent11 & sent3 -> int2: the submitting and the titration happens.; int2 -> int3: the submitting occurs.; sent13 & sent8 -> int4: the fact that the embolectomy does not occur hold.; sent15 & int4 -> int5: the shaft happens and the needlework occurs.; int5 -> int6: the shafting happens.; __UNKNOWN__