the staurikosaur does not impel discard.
sent1: the lichen is a stocks if something bastinados eyesore and is not a Petroselinum. sent2: the kvetch does bastinado eyesore. sent3: the lichen is off if there is something such that the fact that it is both not off and multiple-choice is not correct. sent4: the staurikosaur is multiple-choice. sent5: the kvetch is not a Petroselinum. sent6: The eyesore does bastinado kvetch. sent7: the staurikosaur does impel discard if the emergency is not a kind of an aquatic and is homocercal. sent8: the fact that the huarache is non-off and multiple-choice is wrong. sent9: there exists something such that it is a epicycle and does impel groschen. sent10: the Florentine does not overreach minster if the lichen stocks and it is off. sent11: there is something such that it is homocercal. sent12: if there is something such that it does not overreach minster then the emergency is not a kind of an aquatic but it is homocercal.
sent2 & sent5 -> int1: the kvetch bastinados eyesore but it is not a Petroselinum.; int1 -> int2: something bastinados eyesore and is not a kind of a Petroselinum.; int2 & sent1 -> int3: the lichen stocks.; sent8 -> int4: there exists something such that that it is not off and it is multiple-choice does not hold.; int4 & sent3 -> int5: the lichen is off.; int3 & int5 -> int6: the lichen is both a stocks and off.; int6 & sent10 -> int7: the Florentine does not overreach minster.; int7 -> int8: something does not overreach minster.; int8 & sent12 -> int9: the emergency is not an aquatic and is homocercal.; int9 & sent7 -> hypothesis;
$hypothesis$ = the staurikosaur does not impel discard. ; $context$ = sent1: the lichen is a stocks if something bastinados eyesore and is not a Petroselinum. sent2: the kvetch does bastinado eyesore. sent3: the lichen is off if there is something such that the fact that it is both not off and multiple-choice is not correct. sent4: the staurikosaur is multiple-choice. sent5: the kvetch is not a Petroselinum. sent6: The eyesore does bastinado kvetch. sent7: the staurikosaur does impel discard if the emergency is not a kind of an aquatic and is homocercal. sent8: the fact that the huarache is non-off and multiple-choice is wrong. sent9: there exists something such that it is a epicycle and does impel groschen. sent10: the Florentine does not overreach minster if the lichen stocks and it is off. sent11: there is something such that it is homocercal. sent12: if there is something such that it does not overreach minster then the emergency is not a kind of an aquatic but it is homocercal. ; $proof$ = 
sent2 & sent5 -> int1: the kvetch bastinados eyesore but it is not a Petroselinum.; int1 -> int2: something bastinados eyesore and is not a kind of a Petroselinum.; int2 & sent1 -> int3: the lichen stocks.; sent8 -> int4: there exists something such that that it is not off and it is multiple-choice does not hold.; int4 & sent3 -> int5: the lichen is off.; int3 & int5 -> int6: the lichen is both a stocks and off.; int6 & sent10 -> int7: the Florentine does not overreach minster.; int7 -> int8: something does not overreach minster.; int8 & sent12 -> int9: the emergency is not an aquatic and is homocercal.; int9 & sent7 -> hypothesis; __DISPROVED__