there exists something such that if it is a Iridoprocne then it is not a ATF and/or it is not a simulcast.
sent1: there exists something such that it is not a simulcast or it is marmorean or both. sent2: that if there is something such that it does not deglaze accountability or it is not a kind of a simulcast or both then the highland is non-marmorean hold. sent3: if there exists something such that it is not a optative then the strip does not deglaze accountability. sent4: either the highland is biosystematics or it is not a simulcast or both if it deglazes accountability. sent5: the highland does not deglaze accountability if there exists something such that it is not a ATF. sent6: the moll is not sedimentary or it is not drupaceous or both if the strip does deglaze accountability. sent7: if a biosystematics thing is a Iridoprocne it is not a ATF. sent8: the mayfly is not biosystematics. sent9: the highland is a ATF if it is biosystematics a Iridoprocne. sent10: that the strip deglazes accountability hold if the moll is not a Iridoprocne. sent11: either something is not optative or it is not a durbar or both. sent12: the highland does not verbify calf. sent13: there exists something such that if it is a Iridoprocne then it is a ATF or it is not a kind of a simulcast or both. sent14: if the highland is a kind of a Iridoprocne then it is not a ATF or is a simulcast or both. sent15: there is something such that if it is marmorean then it does not deglaze accountability or is a simulcast or both. sent16: if the moll is marmorean then the highland is biosystematics. sent17: the moll is marmorean if the strip does not deglaze accountability.
void -> assump1: Let's assume that the highland is a Iridoprocne.; sent7 -> int1: the highland is not a ATF if it is biosystematics and it is a Iridoprocne.;
the moll is not sedimentary and/or it is not drupaceous.
$hypothesis$ = there exists something such that if it is a Iridoprocne then it is not a ATF and/or it is not a simulcast. ; $context$ = sent1: there exists something such that it is not a simulcast or it is marmorean or both. sent2: that if there is something such that it does not deglaze accountability or it is not a kind of a simulcast or both then the highland is non-marmorean hold. sent3: if there exists something such that it is not a optative then the strip does not deglaze accountability. sent4: either the highland is biosystematics or it is not a simulcast or both if it deglazes accountability. sent5: the highland does not deglaze accountability if there exists something such that it is not a ATF. sent6: the moll is not sedimentary or it is not drupaceous or both if the strip does deglaze accountability. sent7: if a biosystematics thing is a Iridoprocne it is not a ATF. sent8: the mayfly is not biosystematics. sent9: the highland is a ATF if it is biosystematics a Iridoprocne. sent10: that the strip deglazes accountability hold if the moll is not a Iridoprocne. sent11: either something is not optative or it is not a durbar or both. sent12: the highland does not verbify calf. sent13: there exists something such that if it is a Iridoprocne then it is a ATF or it is not a kind of a simulcast or both. sent14: if the highland is a kind of a Iridoprocne then it is not a ATF or is a simulcast or both. sent15: there is something such that if it is marmorean then it does not deglaze accountability or is a simulcast or both. sent16: if the moll is marmorean then the highland is biosystematics. sent17: the moll is marmorean if the strip does not deglaze accountability. ; $proof$ = 
void -> assump1: Let's assume that the highland is a Iridoprocne.; sent7 -> int1: the highland is not a ATF if it is biosystematics and it is a Iridoprocne.; __UNKNOWN__