the fact that the colostomy does not occur and/or the agape does not occur does not hold.
sent1: that the affiliation happens is prevented by that both the tossup and the marveling stereotype occurs. sent2: if that the marveling Etropus happens and the defaulting succubus happens is false then that the athleticness does not occur is not wrong. sent3: the fact that the electiveness happens and the nonhumanness occurs is incorrect if the theorizing does not occur. sent4: the nonhumanness does not occur if that that the elective and the nonhumanness occurs is not wrong is not correct. sent5: the fact that the marveling Riff does not occur is not true. sent6: the tossup and the compliantness occurs if the marveling stereotype does not occur. sent7: if the tossup does not occur and/or the phoneticsness does not occur then the respecting Wister happens. sent8: if the marveling Riff happens then the affiliation happens. sent9: the fact that not the match-up but the crediting happens is wrong if the omission occurs. sent10: the increasing occurs and the omission occurs if the stratification does not occur. sent11: if the fact that not the match-up but the crediting occurs is incorrect the theorizing does not occur. sent12: if the nonhumanness does not occur then not the respecting Wister but the marveling Riff occurs. sent13: if the fact that the respecting Wister does not occur is not incorrect that the affiliation but not the phoneticsness happens is not true. sent14: the incidence does not occur. sent15: if the marveling stereotype does not occur the tossup but not the colostomy occurs. sent16: if that the respecting Wister occurs is correct the fact that the colostomy does not occur and/or the agape does not occur is false. sent17: the demarche does not occur if the incidence does not occur and the athleticness does not occur. sent18: if the demarche does not occur the powdering Reduviidae does not occur and the stratification does not occur.
void -> assump1: Let's assume that the tossup happens.; sent8 & sent5 -> int1: the affiliation occurs.;
the compliantness occurs.
$hypothesis$ = the fact that the colostomy does not occur and/or the agape does not occur does not hold. ; $context$ = sent1: that the affiliation happens is prevented by that both the tossup and the marveling stereotype occurs. sent2: if that the marveling Etropus happens and the defaulting succubus happens is false then that the athleticness does not occur is not wrong. sent3: the fact that the electiveness happens and the nonhumanness occurs is incorrect if the theorizing does not occur. sent4: the nonhumanness does not occur if that that the elective and the nonhumanness occurs is not wrong is not correct. sent5: the fact that the marveling Riff does not occur is not true. sent6: the tossup and the compliantness occurs if the marveling stereotype does not occur. sent7: if the tossup does not occur and/or the phoneticsness does not occur then the respecting Wister happens. sent8: if the marveling Riff happens then the affiliation happens. sent9: the fact that not the match-up but the crediting happens is wrong if the omission occurs. sent10: the increasing occurs and the omission occurs if the stratification does not occur. sent11: if the fact that not the match-up but the crediting occurs is incorrect the theorizing does not occur. sent12: if the nonhumanness does not occur then not the respecting Wister but the marveling Riff occurs. sent13: if the fact that the respecting Wister does not occur is not incorrect that the affiliation but not the phoneticsness happens is not true. sent14: the incidence does not occur. sent15: if the marveling stereotype does not occur the tossup but not the colostomy occurs. sent16: if that the respecting Wister occurs is correct the fact that the colostomy does not occur and/or the agape does not occur is false. sent17: the demarche does not occur if the incidence does not occur and the athleticness does not occur. sent18: if the demarche does not occur the powdering Reduviidae does not occur and the stratification does not occur. ; $proof$ = 
void -> assump1: Let's assume that the tossup happens.; sent8 & sent5 -> int1: the affiliation occurs.; __UNKNOWN__