there is something such that it is a kind of a Nusku and restrains Hyderabad.
sent1: the poke is Macedonian. sent2: there exists something such that it restrains Hyderabad. sent3: the baffle is cyclonic. sent4: if something is a Aspalathus it is cordless. sent5: there is something such that the fact that it surmises K.E. and it is a kind of a Nusku is not right. sent6: if that something is a Macedonian hold then it is a trademark. sent7: the catechist is disobedient. sent8: if the closure vamps it does chock. sent9: the baffle does restrain Hyderabad if it is cyclonic. sent10: something is a kind of a Nusku. sent11: the catechist surmises K.E.. sent12: the baffle is a Nusku if the fact that it does trademark is not false. sent13: the darmstadtium does surmise K.E.. sent14: the baffle is a Macedonian if the poke is a kind of a vamp. sent15: that something trademarks if that it is disobedient is not incorrect is not incorrect. sent16: something that surmises K.E. vamps. sent17: the catechist is disobedient if it restrains Hyderabad. sent18: the baffle is a kind of a vamp. sent19: something is not condylar or it is not a kind of a vamp or both if the fact that it does not surmise K.E. is true. sent20: the fact that the baffle is cyclonic hold if it is disobedient. sent21: if the catechist is not condylar the Marsh is condylar. sent22: the poke is a trademark. sent23: the baffle does shell. sent24: the Marsh is condylar if the catechist is not a vamp.
sent16 -> int1: if the poke does surmise K.E. then that it is a vamp is true.; sent6 -> int2: if the baffle is a kind of a Macedonian it is a kind of a trademark.; sent9 & sent3 -> int3: that the baffle restrains Hyderabad hold.;
the Marsh is condylar thing that enrolls.
sent19 -> int4: if the catechist does not surmise K.E. it either is not condylar or does not vamp or both.;
$hypothesis$ = there is something such that it is a kind of a Nusku and restrains Hyderabad. ; $context$ = sent1: the poke is Macedonian. sent2: there exists something such that it restrains Hyderabad. sent3: the baffle is cyclonic. sent4: if something is a Aspalathus it is cordless. sent5: there is something such that the fact that it surmises K.E. and it is a kind of a Nusku is not right. sent6: if that something is a Macedonian hold then it is a trademark. sent7: the catechist is disobedient. sent8: if the closure vamps it does chock. sent9: the baffle does restrain Hyderabad if it is cyclonic. sent10: something is a kind of a Nusku. sent11: the catechist surmises K.E.. sent12: the baffle is a Nusku if the fact that it does trademark is not false. sent13: the darmstadtium does surmise K.E.. sent14: the baffle is a Macedonian if the poke is a kind of a vamp. sent15: that something trademarks if that it is disobedient is not incorrect is not incorrect. sent16: something that surmises K.E. vamps. sent17: the catechist is disobedient if it restrains Hyderabad. sent18: the baffle is a kind of a vamp. sent19: something is not condylar or it is not a kind of a vamp or both if the fact that it does not surmise K.E. is true. sent20: the fact that the baffle is cyclonic hold if it is disobedient. sent21: if the catechist is not condylar the Marsh is condylar. sent22: the poke is a trademark. sent23: the baffle does shell. sent24: the Marsh is condylar if the catechist is not a vamp. ; $proof$ = 
sent16 -> int1: if the poke does surmise K.E. then that it is a vamp is true.; sent6 -> int2: if the baffle is a kind of a Macedonian it is a kind of a trademark.; sent9 & sent3 -> int3: that the baffle restrains Hyderabad hold.; __UNKNOWN__