the fact that the shearing does not occur and the conservancy does not occur is not true.
sent1: the uncommunicativeness does not occur. sent2: the finedrawing bash happens. sent3: the caroling occurs. sent4: if the caroling occurs the Epiphany occurs. sent5: that the paperwork happens results in that the briefing epidemic occurs but the araneidalness does not occur. sent6: the moonwalk happens. sent7: the briefing epidemic happens if the paperwork occurs. sent8: the caroling does not occur if the fact that that the redeeming happens and the Bulgarian happens is not false does not hold. sent9: the particularisticness occurs. sent10: if the epiphany does not occur then the placableness does not occur. sent11: if the fact that the fact that the locomotive occurs but the final does not occur is right is false the locomotive does not occur. sent12: the fact that the araneidalness does not occur is not right if the Epiphany occurs. sent13: the protrusiveness occurs if the finedrawing stump occurs. sent14: if the conservancy does not occur that both the shearing and the paperwork occurs is not true. sent15: the fact that both the redeeming and the Bulgarianness occurs is not true if the locomotiveness does not occur. sent16: the collegiateness does not occur if the fact that the shear and the paperwork happens is not right. sent17: if that the non-locomotiveness and the final occurs does not hold then the shear does not occur. sent18: that the anasarcousness occurs is right. sent19: if the Chase does not occur then that the baffling does not occur and the briefing royalty occurs does not hold. sent20: if the placableness does not occur then the fact that the locomotiveness but not the final occurs is wrong.
void -> assump1: Let's assume that the paperwork occurs.; sent5 & assump1 -> int1: the briefing epidemic happens and the araneidalness does not occur.; int1 -> int2: the araneidalness does not occur.; sent4 & sent3 -> int3: the Epiphany happens.; sent12 & int3 -> int4: the araneidalness happens.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the paperwork does not occur.;
the shearing does not occur and the conservancy does not occur.
$hypothesis$ = the fact that the shearing does not occur and the conservancy does not occur is not true. ; $context$ = sent1: the uncommunicativeness does not occur. sent2: the finedrawing bash happens. sent3: the caroling occurs. sent4: if the caroling occurs the Epiphany occurs. sent5: that the paperwork happens results in that the briefing epidemic occurs but the araneidalness does not occur. sent6: the moonwalk happens. sent7: the briefing epidemic happens if the paperwork occurs. sent8: the caroling does not occur if the fact that that the redeeming happens and the Bulgarian happens is not false does not hold. sent9: the particularisticness occurs. sent10: if the epiphany does not occur then the placableness does not occur. sent11: if the fact that the fact that the locomotive occurs but the final does not occur is right is false the locomotive does not occur. sent12: the fact that the araneidalness does not occur is not right if the Epiphany occurs. sent13: the protrusiveness occurs if the finedrawing stump occurs. sent14: if the conservancy does not occur that both the shearing and the paperwork occurs is not true. sent15: the fact that both the redeeming and the Bulgarianness occurs is not true if the locomotiveness does not occur. sent16: the collegiateness does not occur if the fact that the shear and the paperwork happens is not right. sent17: if that the non-locomotiveness and the final occurs does not hold then the shear does not occur. sent18: that the anasarcousness occurs is right. sent19: if the Chase does not occur then that the baffling does not occur and the briefing royalty occurs does not hold. sent20: if the placableness does not occur then the fact that the locomotiveness but not the final occurs is wrong. ; $proof$ = 
void -> assump1: Let's assume that the paperwork occurs.; sent5 & assump1 -> int1: the briefing epidemic happens and the araneidalness does not occur.; int1 -> int2: the araneidalness does not occur.; sent4 & sent3 -> int3: the Epiphany happens.; sent12 & int3 -> int4: the araneidalness happens.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the paperwork does not occur.; __UNKNOWN__