there exists something such that if it is both not a Greenpeace and mesial that it geysers squaretail is not wrong.
sent1: if the squaretail is not mesial but it is tibial it flickers convexity. sent2: if the squaretail is a kind of a Greenpeace that is mesial then it does geyser squaretail. sent3: there is something such that if the fact that it is non-subordinating and it is a 1780s is true it does knock clubhouse. sent4: if the squaretail is not nonechoic but it is chyliferous it does geyser squaretail. sent5: something geysers clipboard if it is non-Latin and is syncategorematic. sent6: if something that is a Greenpeace is mesial then that it geysers squaretail is not wrong. sent7: if something that is not a kind of a seer is a kind of a sacrament then it is a kind of a wombat. sent8: if the hoatzin does not talc pectoral but it is a kind of a justiciary then it geysers squaretail. sent9: if something is not a kind of a fuss and is a about-face it is intramural. sent10: there exists something such that if it is a Greenpeace and it is mesial it does geyser squaretail. sent11: there exists something such that if it does not flicker convexity and it is a microgametophyte then it is awnless. sent12: that there exists something such that if it is not a fuss and it flickers wiper it is vinaceous is right. sent13: there is something such that if it is not a justiciary and is a aminoplast it is a kind of a myelencephalon. sent14: if something that is a backstay flickers blackbeetle it geysers prednisolone. sent15: the magnetism is monoclinic if it is a kind of non-mesial thing that is a recollection. sent16: something that is not a Greenpeace and is mesial does geyser squaretail. sent17: the robin is a Nubia if it does not sidle and it is a kind of a Greenpeace.
sent16 -> int1: if the squaretail is not a Greenpeace but it is mesial it does geyser squaretail.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it is both not a Greenpeace and mesial that it geysers squaretail is not wrong. ; $context$ = sent1: if the squaretail is not mesial but it is tibial it flickers convexity. sent2: if the squaretail is a kind of a Greenpeace that is mesial then it does geyser squaretail. sent3: there is something such that if the fact that it is non-subordinating and it is a 1780s is true it does knock clubhouse. sent4: if the squaretail is not nonechoic but it is chyliferous it does geyser squaretail. sent5: something geysers clipboard if it is non-Latin and is syncategorematic. sent6: if something that is a Greenpeace is mesial then that it geysers squaretail is not wrong. sent7: if something that is not a kind of a seer is a kind of a sacrament then it is a kind of a wombat. sent8: if the hoatzin does not talc pectoral but it is a kind of a justiciary then it geysers squaretail. sent9: if something is not a kind of a fuss and is a about-face it is intramural. sent10: there exists something such that if it is a Greenpeace and it is mesial it does geyser squaretail. sent11: there exists something such that if it does not flicker convexity and it is a microgametophyte then it is awnless. sent12: that there exists something such that if it is not a fuss and it flickers wiper it is vinaceous is right. sent13: there is something such that if it is not a justiciary and is a aminoplast it is a kind of a myelencephalon. sent14: if something that is a backstay flickers blackbeetle it geysers prednisolone. sent15: the magnetism is monoclinic if it is a kind of non-mesial thing that is a recollection. sent16: something that is not a Greenpeace and is mesial does geyser squaretail. sent17: the robin is a Nubia if it does not sidle and it is a kind of a Greenpeace. ; $proof$ = 
sent16 -> int1: if the squaretail is not a Greenpeace but it is mesial it does geyser squaretail.; int1 -> hypothesis; __PROVED__