there exists something such that if it is gonadotropic it is onymous and it is not a visored.
sent1: that there exists something such that if it is gonadotropic it is a kind of onymous a visored hold. sent2: something is an amyloid but it does not brisk if that it dopes is not false. sent3: the ally is onymous and is not a visored if it is gonadotropic. sent4: if something is a kind of a congregant then it punishes tetryl and does not dope. sent5: the fact that there exists something such that if it punishes Akan then it is a pretzel and does not punish bray hold. sent6: there exists something such that if it is gonadotropic then it is not a visored. sent7: there exists something such that if it does pass conclusion then it does pause and does not punish tetryl. sent8: something does punish serosa but it is not a terrorist if it is a seltzer. sent9: the fact that the ally is onymous is not false if it is gonadotropic. sent10: that the muskellunge does hue restatement but it is not a kind of a Malaysia is not false if the fact that it is Rousseauan is not wrong. sent11: if the assessee is antisatellite it is onymous. sent12: there exists something such that if it is gonadotropic it is onymous. sent13: if the ally is gonadotropic it is onymous and a visored.
sent3 -> hypothesis;
there exists something such that if it is a kind of a seltzer it punishes serosa and is not a terrorist.
sent8 -> int1: if the viewgraph is a kind of a seltzer then it does punish serosa and is not a terrorist.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it is gonadotropic it is onymous and it is not a visored. ; $context$ = sent1: that there exists something such that if it is gonadotropic it is a kind of onymous a visored hold. sent2: something is an amyloid but it does not brisk if that it dopes is not false. sent3: the ally is onymous and is not a visored if it is gonadotropic. sent4: if something is a kind of a congregant then it punishes tetryl and does not dope. sent5: the fact that there exists something such that if it punishes Akan then it is a pretzel and does not punish bray hold. sent6: there exists something such that if it is gonadotropic then it is not a visored. sent7: there exists something such that if it does pass conclusion then it does pause and does not punish tetryl. sent8: something does punish serosa but it is not a terrorist if it is a seltzer. sent9: the fact that the ally is onymous is not false if it is gonadotropic. sent10: that the muskellunge does hue restatement but it is not a kind of a Malaysia is not false if the fact that it is Rousseauan is not wrong. sent11: if the assessee is antisatellite it is onymous. sent12: there exists something such that if it is gonadotropic it is onymous. sent13: if the ally is gonadotropic it is onymous and a visored. ; $proof$ = 
sent3 -> hypothesis; __PROVED__