the cetacean does not occur and the lipectomy happens.
sent1: the fact that the iriticness occurs hold if the cetaceanness happens. sent2: if that the Chianness does not occur or the defraying florist does not occur or both is false the joining does not occur. sent3: that the entrancing presbyope but not the tempering metabolism occurs does not hold if the undomesticness does not occur. sent4: the tempering metabolism does not occur and the undomesticness happens if the surgery does not occur. sent5: if that both the autolyticness and the divulgence occurs is incorrect then the placing does not occur. sent6: the tempering metabolism does not occur. sent7: if that the misdemeanor and the joining happens is not right then the undomesticness does not occur. sent8: the surgery does not occur and the misdemeanor does not occur if the joining does not occur. sent9: the RFD does not occur. sent10: both the lipectomy and the surgery happens. sent11: if the Ephesian does not occur then the fact that the Chianness does not occur and/or the defraying florist does not occur is not true. sent12: the fact that the affliction and the non-Pacificness happens is wrong if the freeness does not occur. sent13: the fact that both the misdemeanor and the joining happens is not right.
void -> assump1: Let's assume that the fact that the cetacean happens is right.; sent1 & assump1 -> int1: the iriticness happens.; sent7 & sent13 -> int2: the undomesticness does not occur.; sent3 & int2 -> int3: that that the entrancing presbyope occurs but the tempering metabolism does not occur is incorrect is not wrong.; sent10 -> int4: the lipectomy occurs.;
the fact that both the non-cetaceanness and the lipectomy happens is not right.
$hypothesis$ = the cetacean does not occur and the lipectomy happens. ; $context$ = sent1: the fact that the iriticness occurs hold if the cetaceanness happens. sent2: if that the Chianness does not occur or the defraying florist does not occur or both is false the joining does not occur. sent3: that the entrancing presbyope but not the tempering metabolism occurs does not hold if the undomesticness does not occur. sent4: the tempering metabolism does not occur and the undomesticness happens if the surgery does not occur. sent5: if that both the autolyticness and the divulgence occurs is incorrect then the placing does not occur. sent6: the tempering metabolism does not occur. sent7: if that the misdemeanor and the joining happens is not right then the undomesticness does not occur. sent8: the surgery does not occur and the misdemeanor does not occur if the joining does not occur. sent9: the RFD does not occur. sent10: both the lipectomy and the surgery happens. sent11: if the Ephesian does not occur then the fact that the Chianness does not occur and/or the defraying florist does not occur is not true. sent12: the fact that the affliction and the non-Pacificness happens is wrong if the freeness does not occur. sent13: the fact that both the misdemeanor and the joining happens is not right. ; $proof$ = 
void -> assump1: Let's assume that the fact that the cetacean happens is right.; sent1 & assump1 -> int1: the iriticness happens.; sent7 & sent13 -> int2: the undomesticness does not occur.; sent3 & int2 -> int3: that that the entrancing presbyope occurs but the tempering metabolism does not occur is incorrect is not wrong.; sent10 -> int4: the lipectomy occurs.; __UNKNOWN__