that the therapy does not occur is brought about by that the spieling happens.
sent1: the fact that the grievance happens is right. sent2: that the comber does not occur and the loping does not occur is false. sent3: the therapy happens if the spieling occurs. sent4: that both the non-prandialness and the hypoglycemicness happens is not true. sent5: if that the neuter does not occur and the dispersion does not occur is false the yip does not occur. sent6: that the prandialness does not occur but the hypoglycemicness occurs is false if the spieling occurs. sent7: that the audition does not occur and the megalithicness does not occur is incorrect. sent8: that the non-prandialness and the non-hypoglycemicness happens is not true if the spieling occurs. sent9: the fact that the terror does not occur and the slowdown does not occur is not correct if the competentness occurs. sent10: the therapy occurs if that the prandialness does not occur and the hypoglycemicness does not occur is incorrect. sent11: the mime occurs. sent12: if that the raftering bellwether does not occur and the twiddling does not occur is false then the saurianness does not occur. sent13: if the hypoglycemicness happens then the therapy does not occur.
void -> assump1: Let's assume that the spiel happens.; sent8 & assump1 -> int1: that both the non-prandialness and the non-hypoglycemicness occurs does not hold.;
$hypothesis$ = that the therapy does not occur is brought about by that the spieling happens. ; $context$ = sent1: the fact that the grievance happens is right. sent2: that the comber does not occur and the loping does not occur is false. sent3: the therapy happens if the spieling occurs. sent4: that both the non-prandialness and the hypoglycemicness happens is not true. sent5: if that the neuter does not occur and the dispersion does not occur is false the yip does not occur. sent6: that the prandialness does not occur but the hypoglycemicness occurs is false if the spieling occurs. sent7: that the audition does not occur and the megalithicness does not occur is incorrect. sent8: that the non-prandialness and the non-hypoglycemicness happens is not true if the spieling occurs. sent9: the fact that the terror does not occur and the slowdown does not occur is not correct if the competentness occurs. sent10: the therapy occurs if that the prandialness does not occur and the hypoglycemicness does not occur is incorrect. sent11: the mime occurs. sent12: if that the raftering bellwether does not occur and the twiddling does not occur is false then the saurianness does not occur. sent13: if the hypoglycemicness happens then the therapy does not occur. ; $proof$ = 
void -> assump1: Let's assume that the spiel happens.; sent8 & assump1 -> int1: that both the non-prandialness and the non-hypoglycemicness occurs does not hold.; __UNKNOWN__