the xenolith knots unionist.
sent1: the fact that the unionist is a piece that is a kind of a intercostal does not hold if it is a kind of a gesneriad. sent2: the fact that the unionist does knot gantry is right. sent3: if the endocrine does piece and it is a compassion then the micelle is not a compassion. sent4: if that something does knot unionist but it is not atrophic is not true then it does not knot unionist. sent5: there exists something such that that it knots unionist and is not a Lactuca is incorrect. sent6: the fact that something knots unionist and is not atrophic is false if it queues neurophysiology. sent7: the fact that the Maldivian is not non-intercostal is not false if there is something such that it is a kind of a non-intercostal. sent8: there is something such that the fact that it is a piece and intercostal does not hold. sent9: the micelle queues neurophysiology. sent10: if that the xenolith is intercostal and it is a compassion does not hold it is not a kind of a demur. sent11: the fact that the unionist is a piece and it is a intercostal does not hold. sent12: something is a kind of a compassion if it is a Lactuca. sent13: if the endocrine demurs the Maldivian is a kind of a Lactuca. sent14: the endocrine is a piece and it is a kind of a compassion. sent15: that the unionist is a piece and not a intercostal is incorrect if it is a gesneriad. sent16: the unionist does knot gantry and is a kind of a gesneriad. sent17: something does queue neurophysiology if the fact that it does not queue neurophysiology and it is a Lactuca does not hold. sent18: something does knot gantry if the fact that the fact that it is non-atrophic thing that does not knot gantry is correct is not right. sent19: if the micelle is atrophic then that the endocrine is a kind of a demur hold. sent20: there is something such that it is a piece and is not intercostal. sent21: the xenolith knots unionist if a compassion is intercostal. sent22: the Maldivian is a gesneriad. sent23: the micelle queues neurophysiology and is atrophic. sent24: if something is not a demur that it does not queue neurophysiology and it is a Lactuca is not correct. sent25: the Maldivian is intercostal if there is something such that the fact that it is a piece that is not a intercostal is false. sent26: the fact that something is not atrophic and it does not knot gantry is incorrect if it does not queue neurophysiology. sent27: there exists something such that it is a kind of a compassion.
sent23 -> int1: the micelle is atrophic.; int1 & sent19 -> int2: the endocrine demurs.; int2 & sent13 -> int3: the Maldivian is a Lactuca.; sent12 -> int4: that the Maldivian is not a kind of a compassion is not right if the fact that it is a kind of a Lactuca is not wrong.; int3 & int4 -> int5: the Maldivian is a compassion.; sent16 -> int6: the unionist is a gesneriad.; sent15 & int6 -> int7: the fact that the unionist does piece but it is not intercostal is not correct.; int7 -> int8: there exists something such that the fact that it pieces and it is not intercostal does not hold.; int8 & sent25 -> int9: the Maldivian is a kind of a intercostal.; int5 & int9 -> int10: the Maldivian is a compassion and is a kind of a intercostal.; int10 -> int11: there is something such that it is a kind of a compassion and it is a intercostal.; int11 & sent21 -> hypothesis;
the xenolith does not knot unionist.
sent4 -> int12: if that the xenolith knots unionist and is not atrophic is not right it does not knots unionist.; sent6 -> int13: the fact that the xenolith does knot unionist and is not atrophic is not right if it queues neurophysiology.; sent17 -> int14: if the fact that the xenolith does not queue neurophysiology and is a kind of a Lactuca is false it queue neurophysiology.; sent24 -> int15: that the fact that the xenolith does not queue neurophysiology but it is a kind of a Lactuca is not correct hold if it is not a kind of a demur.; sent3 & sent14 -> int16: the micelle is not a kind of a compassion.; int16 -> int17: there is something such that it is not a compassion.;
$hypothesis$ = the xenolith knots unionist. ; $context$ = sent1: the fact that the unionist is a piece that is a kind of a intercostal does not hold if it is a kind of a gesneriad. sent2: the fact that the unionist does knot gantry is right. sent3: if the endocrine does piece and it is a compassion then the micelle is not a compassion. sent4: if that something does knot unionist but it is not atrophic is not true then it does not knot unionist. sent5: there exists something such that that it knots unionist and is not a Lactuca is incorrect. sent6: the fact that something knots unionist and is not atrophic is false if it queues neurophysiology. sent7: the fact that the Maldivian is not non-intercostal is not false if there is something such that it is a kind of a non-intercostal. sent8: there is something such that the fact that it is a piece and intercostal does not hold. sent9: the micelle queues neurophysiology. sent10: if that the xenolith is intercostal and it is a compassion does not hold it is not a kind of a demur. sent11: the fact that the unionist is a piece and it is a intercostal does not hold. sent12: something is a kind of a compassion if it is a Lactuca. sent13: if the endocrine demurs the Maldivian is a kind of a Lactuca. sent14: the endocrine is a piece and it is a kind of a compassion. sent15: that the unionist is a piece and not a intercostal is incorrect if it is a gesneriad. sent16: the unionist does knot gantry and is a kind of a gesneriad. sent17: something does queue neurophysiology if the fact that it does not queue neurophysiology and it is a Lactuca does not hold. sent18: something does knot gantry if the fact that the fact that it is non-atrophic thing that does not knot gantry is correct is not right. sent19: if the micelle is atrophic then that the endocrine is a kind of a demur hold. sent20: there is something such that it is a piece and is not intercostal. sent21: the xenolith knots unionist if a compassion is intercostal. sent22: the Maldivian is a gesneriad. sent23: the micelle queues neurophysiology and is atrophic. sent24: if something is not a demur that it does not queue neurophysiology and it is a Lactuca is not correct. sent25: the Maldivian is intercostal if there is something such that the fact that it is a piece that is not a intercostal is false. sent26: the fact that something is not atrophic and it does not knot gantry is incorrect if it does not queue neurophysiology. sent27: there exists something such that it is a kind of a compassion. ; $proof$ = 
sent23 -> int1: the micelle is atrophic.; int1 & sent19 -> int2: the endocrine demurs.; int2 & sent13 -> int3: the Maldivian is a Lactuca.; sent12 -> int4: that the Maldivian is not a kind of a compassion is not right if the fact that it is a kind of a Lactuca is not wrong.; int3 & int4 -> int5: the Maldivian is a compassion.; sent16 -> int6: the unionist is a gesneriad.; sent15 & int6 -> int7: the fact that the unionist does piece but it is not intercostal is not correct.; int7 -> int8: there exists something such that the fact that it pieces and it is not intercostal does not hold.; int8 & sent25 -> int9: the Maldivian is a kind of a intercostal.; int5 & int9 -> int10: the Maldivian is a compassion and is a kind of a intercostal.; int10 -> int11: there is something such that it is a kind of a compassion and it is a intercostal.; int11 & sent21 -> hypothesis; __PROVED__