there exists something such that if that it deplores copartner and does not bask testosterone does not hold then it is an arum.
sent1: the shop is a kind of a cigarillo if it does not deplore copartner. sent2: there exists something such that if it does bask testosterone it is a kind of an arum. sent3: the finback is not non-feminist if that it does distrain and is not a kind of an arum does not hold. sent4: there exists something such that if that it is hopeful and it does not bask Mojave is false then it does impair mannitol. sent5: the finback refers if that it is not non-Dominican and it is not high-resolution does not hold. sent6: there exists something such that if it does not deplore copartner it is a kind of an arum. sent7: the finback does deplore rescue if that it is a Radhakrishnan and it is not an arum does not hold. sent8: there exists something such that if the fact that it does box exotoxin and is not Guatemalan does not hold it does bask Mojave. sent9: if that the finback does deplore copartner but it does not bask testosterone is not true it is a kind of an arum. sent10: there exists something such that if that it does deplore copartner and it basks testosterone is false it is an arum. sent11: there is something such that if that it is cantonal and is not a Fijian is not right it is bauxitic. sent12: something basks testosterone if the fact that it is a compilation that is not a kind of a self does not hold. sent13: there exists something such that if that it is a kind of a appreciator and it is not a phrenology is not true then the fact that it is not non-mousy is not false. sent14: if the finback does not deplore copartner then it is an arum. sent15: the finback is an arum if it does deplore copartner and it does not bask testosterone. sent16: there exists something such that if it does deplore copartner and it does not bask testosterone it is an arum. sent17: if that the fact that the finback deplores copartner and does bask testosterone is right is not correct it is a kind of an arum. sent18: there exists something such that if the fact that it is a meitnerium is false then it is involucrate. sent19: there is something such that if the fact that it does impair greenroom and it does not deplore incentive is not correct then it is a qualification. sent20: something deplores copartner if the fact that it is curtainless and is not a mambo is not true. sent21: there exists something such that if it is a Raphicerus then it is a ankus.
sent9 -> hypothesis;
the hamburger does deplore copartner if that it is curtainless and does not mambo is not true.
sent20 -> hypothesis;
$hypothesis$ = there exists something such that if that it deplores copartner and does not bask testosterone does not hold then it is an arum. ; $context$ = sent1: the shop is a kind of a cigarillo if it does not deplore copartner. sent2: there exists something such that if it does bask testosterone it is a kind of an arum. sent3: the finback is not non-feminist if that it does distrain and is not a kind of an arum does not hold. sent4: there exists something such that if that it is hopeful and it does not bask Mojave is false then it does impair mannitol. sent5: the finback refers if that it is not non-Dominican and it is not high-resolution does not hold. sent6: there exists something such that if it does not deplore copartner it is a kind of an arum. sent7: the finback does deplore rescue if that it is a Radhakrishnan and it is not an arum does not hold. sent8: there exists something such that if the fact that it does box exotoxin and is not Guatemalan does not hold it does bask Mojave. sent9: if that the finback does deplore copartner but it does not bask testosterone is not true it is a kind of an arum. sent10: there exists something such that if that it does deplore copartner and it basks testosterone is false it is an arum. sent11: there is something such that if that it is cantonal and is not a Fijian is not right it is bauxitic. sent12: something basks testosterone if the fact that it is a compilation that is not a kind of a self does not hold. sent13: there exists something such that if that it is a kind of a appreciator and it is not a phrenology is not true then the fact that it is not non-mousy is not false. sent14: if the finback does not deplore copartner then it is an arum. sent15: the finback is an arum if it does deplore copartner and it does not bask testosterone. sent16: there exists something such that if it does deplore copartner and it does not bask testosterone it is an arum. sent17: if that the fact that the finback deplores copartner and does bask testosterone is right is not correct it is a kind of an arum. sent18: there exists something such that if the fact that it is a meitnerium is false then it is involucrate. sent19: there is something such that if the fact that it does impair greenroom and it does not deplore incentive is not correct then it is a qualification. sent20: something deplores copartner if the fact that it is curtainless and is not a mambo is not true. sent21: there exists something such that if it is a Raphicerus then it is a ankus. ; $proof$ = 
sent9 -> hypothesis; __PROVED__