the compromise happens if the including worst occurs.
sent1: the tastiness happens if the fact that the tastiness does not occur and the dislodgment occurs is not correct. sent2: the staphylococcalness happens. sent3: the Fabianness does not occur if that both the compromise and the including worst occurs does not hold. sent4: the photovoltaicness and the hardening Desmodus occurs. sent5: if the fact that the hardening Desmodus does not occur is correct then that that the compromise and the including worst occurs is wrong is not incorrect. sent6: that the photovoltaicness does not occur prevents the hardening Desmodus. sent7: if the including worst happens the dislodgment occurs. sent8: that the dislodgment happens and the compromise happens is not right. sent9: if the kismet happens then that the non-tastiness and the dislodgment occurs is not correct. sent10: the fact that the dislodgment occurs and the compromise happens is wrong if the hardening Desmodus happens. sent11: the fact that the excursion and the non-noninheritableness occurs is not true. sent12: both the kismet and the hypotonicness happens. sent13: that the photovoltaicness occurs hold.
void -> assump1: Let's assume that the including worst occurs.; sent7 & assump1 -> int1: the dislodgment occurs.; void -> assump2: Let's assume that the compromise does not occur.; int1 & assump2 -> int2: the dislodgment but not the compromising occurs.; sent4 -> int3: the hardening Desmodus occurs.;
the tastiness and the non-Fabianness occurs.
sent12 -> int4: the fact that the kismet happens is not false.; sent9 & int4 -> int5: the fact that that not the tastiness but the dislodgment happens is not wrong is not right.; sent1 & int5 -> int6: the tastiness occurs.;
$hypothesis$ = the compromise happens if the including worst occurs. ; $context$ = sent1: the tastiness happens if the fact that the tastiness does not occur and the dislodgment occurs is not correct. sent2: the staphylococcalness happens. sent3: the Fabianness does not occur if that both the compromise and the including worst occurs does not hold. sent4: the photovoltaicness and the hardening Desmodus occurs. sent5: if the fact that the hardening Desmodus does not occur is correct then that that the compromise and the including worst occurs is wrong is not incorrect. sent6: that the photovoltaicness does not occur prevents the hardening Desmodus. sent7: if the including worst happens the dislodgment occurs. sent8: that the dislodgment happens and the compromise happens is not right. sent9: if the kismet happens then that the non-tastiness and the dislodgment occurs is not correct. sent10: the fact that the dislodgment occurs and the compromise happens is wrong if the hardening Desmodus happens. sent11: the fact that the excursion and the non-noninheritableness occurs is not true. sent12: both the kismet and the hypotonicness happens. sent13: that the photovoltaicness occurs hold. ; $proof$ = 
void -> assump1: Let's assume that the including worst occurs.; sent7 & assump1 -> int1: the dislodgment occurs.; void -> assump2: Let's assume that the compromise does not occur.; int1 & assump2 -> int2: the dislodgment but not the compromising occurs.; sent4 -> int3: the hardening Desmodus occurs.; __UNKNOWN__