the coronion is a Freud and it is piratical.
sent1: if the bridoon is not a stall then it is pregnant. sent2: the japan is not nonpregnant. sent3: the coronion does not enfeoff Hmong and is a descendants. sent4: if the bridoon is hotbed and it is a descendants then it is nonpregnant. sent5: the japan is both not nonpregnant and not non-aphoristic if the bridoon is not nonpregnant. sent6: the japan is non-hotbed if that the fact that it is non-hotbed and it does not stall is not false is false. sent7: the japan is not a descendants. sent8: the bridoon does not stall if the fact that it does not levitate and it does not enfeoff assisted is wrong. sent9: the coronion is piratical. sent10: if the babka is not hotbed then the Viyella does enfeoff assisted and it is stingless. sent11: that the coronion is not piratical and it is not aphoristic is wrong. sent12: the babka is stingless. sent13: if something stalls and it does levitate then it is non-hotbed. sent14: the ice-wagon is a descendants. sent15: the coronion is a Freud if the japan decreases migrator but it is not a descendants. sent16: the japan is natriuretic. sent17: that the bridoon is not a Freud is not false. sent18: if that the bridoon is a kind of a Freud and it is piratical is not correct then it is not a descendants. sent19: the fact that the bridoon is a Freud and it is piratical does not hold. sent20: the bridoon does not decrease migrator and is aphoristic if it is not a descendants. sent21: if the coronion does not enfeoff assisted the bridoon does not enfeoff assisted. sent22: if that the bridoon is hotbed is not incorrect that it does not levitate and does not enfeoff assisted does not hold. sent23: the japan is not nonpregnant but it is hotbed. sent24: the bridoon is hotbed if the babka is stingless.
sent24 & sent12 -> int1: the fact that the bridoon is hotbed hold.; int1 & sent22 -> int2: that the bridoon does not levitate and does not enfeoff assisted is incorrect.; int2 & sent8 -> int3: the bridoon is not a stall.; int3 & sent1 -> int4: the bridoon is not nonpregnant.; int4 & sent5 -> int5: the japan is not nonpregnant but it is aphoristic.;
the Viyella does enfeoff assisted.
sent13 -> int6: the babka is not hotbed if it is a stall and does levitate.; sent18 & sent19 -> int7: the bridoon is not a descendants.; sent20 & int7 -> int8: the bridoon does not decrease migrator and is aphoristic.; int8 -> int9: there is something such that it does not decrease migrator and is aphoristic.;
$hypothesis$ = the coronion is a Freud and it is piratical. ; $context$ = sent1: if the bridoon is not a stall then it is pregnant. sent2: the japan is not nonpregnant. sent3: the coronion does not enfeoff Hmong and is a descendants. sent4: if the bridoon is hotbed and it is a descendants then it is nonpregnant. sent5: the japan is both not nonpregnant and not non-aphoristic if the bridoon is not nonpregnant. sent6: the japan is non-hotbed if that the fact that it is non-hotbed and it does not stall is not false is false. sent7: the japan is not a descendants. sent8: the bridoon does not stall if the fact that it does not levitate and it does not enfeoff assisted is wrong. sent9: the coronion is piratical. sent10: if the babka is not hotbed then the Viyella does enfeoff assisted and it is stingless. sent11: that the coronion is not piratical and it is not aphoristic is wrong. sent12: the babka is stingless. sent13: if something stalls and it does levitate then it is non-hotbed. sent14: the ice-wagon is a descendants. sent15: the coronion is a Freud if the japan decreases migrator but it is not a descendants. sent16: the japan is natriuretic. sent17: that the bridoon is not a Freud is not false. sent18: if that the bridoon is a kind of a Freud and it is piratical is not correct then it is not a descendants. sent19: the fact that the bridoon is a Freud and it is piratical does not hold. sent20: the bridoon does not decrease migrator and is aphoristic if it is not a descendants. sent21: if the coronion does not enfeoff assisted the bridoon does not enfeoff assisted. sent22: if that the bridoon is hotbed is not incorrect that it does not levitate and does not enfeoff assisted does not hold. sent23: the japan is not nonpregnant but it is hotbed. sent24: the bridoon is hotbed if the babka is stingless. ; $proof$ = 
sent24 & sent12 -> int1: the fact that the bridoon is hotbed hold.; int1 & sent22 -> int2: that the bridoon does not levitate and does not enfeoff assisted is incorrect.; int2 & sent8 -> int3: the bridoon is not a stall.; int3 & sent1 -> int4: the bridoon is not nonpregnant.; int4 & sent5 -> int5: the japan is not nonpregnant but it is aphoristic.; __UNKNOWN__