the sesamoid is not a Booth but it is a barndoor.
sent1: there exists something such that it is a kind of a semblance. sent2: the Soave does not deaminate whisker and it is not chromatinic. sent3: something pecks sesamoid and does rank if it does not socialize. sent4: the sesamoid is not a Booth and is a kind of a barndoor if the corymb is not light-duty. sent5: if something that does not deaminate whisker is prenatal then the fact that it tunnels zapper is correct. sent6: if there exists something such that it is a semblance that the whisker tunnels Labrador and is not international is not true. sent7: if the Soave does deaminate whisker then that the sesamoid is not a Booth but it is a barndoor is not correct. sent8: the Soave is prenatal. sent9: the Soave is chromatinic thing that does deaminate whisker if the Smitane is not prenatal. sent10: something ranks if it does not socialize. sent11: the Soave is not chromatinic. sent12: if there is something such that the fact that it tunnels Labrador and it is a kind of a semblance does not hold then the corymb is not light-duty. sent13: the sesamoid is a barndoor. sent14: something is indigestible if it is not a Sfax and it pecks Smitane. sent15: if the fact that the corymb tunnels zapper but it is not prenatal is not correct then the Smitane is not prenatal. sent16: something is international if that it does tunnel Labrador and is not international is false. sent17: that something does tunnel Labrador and it is a semblance is not right if it is not international. sent18: the Soave does not socialize.
sent2 -> int1: the Soave does not deaminate whisker.; int1 & sent8 -> int2: the Soave does not deaminate whisker but it is prenatal.; sent5 -> int3: if the Soave does not deaminate whisker and is prenatal it does tunnel zapper.; int2 & int3 -> int4: the Soave tunnels zapper.; sent3 -> int5: if the Soave does not socialize it pecks sesamoid and it is a rank.; int5 & sent18 -> int6: the fact that the Soave does peck sesamoid and ranks hold.; int6 -> int7: the Soave pecks sesamoid.; int4 & int7 -> int8: the Soave does peck sesamoid and it does tunnel zapper.; sent17 -> int9: that the Smitane does tunnel Labrador and is a semblance is false if it is not international.;
that that the sesamoid is not a Booth and is a barndoor is wrong is not wrong.
sent16 -> int10: if the fact that the whisker tunnels Labrador but it is not international is incorrect then it is international.; sent1 & sent6 -> int11: the fact that the whisker tunnels Labrador but it is not international is not true.; int10 & int11 -> int12: the whisker is international.;
$hypothesis$ = the sesamoid is not a Booth but it is a barndoor. ; $context$ = sent1: there exists something such that it is a kind of a semblance. sent2: the Soave does not deaminate whisker and it is not chromatinic. sent3: something pecks sesamoid and does rank if it does not socialize. sent4: the sesamoid is not a Booth and is a kind of a barndoor if the corymb is not light-duty. sent5: if something that does not deaminate whisker is prenatal then the fact that it tunnels zapper is correct. sent6: if there exists something such that it is a semblance that the whisker tunnels Labrador and is not international is not true. sent7: if the Soave does deaminate whisker then that the sesamoid is not a Booth but it is a barndoor is not correct. sent8: the Soave is prenatal. sent9: the Soave is chromatinic thing that does deaminate whisker if the Smitane is not prenatal. sent10: something ranks if it does not socialize. sent11: the Soave is not chromatinic. sent12: if there is something such that the fact that it tunnels Labrador and it is a kind of a semblance does not hold then the corymb is not light-duty. sent13: the sesamoid is a barndoor. sent14: something is indigestible if it is not a Sfax and it pecks Smitane. sent15: if the fact that the corymb tunnels zapper but it is not prenatal is not correct then the Smitane is not prenatal. sent16: something is international if that it does tunnel Labrador and is not international is false. sent17: that something does tunnel Labrador and it is a semblance is not right if it is not international. sent18: the Soave does not socialize. ; $proof$ = 
sent2 -> int1: the Soave does not deaminate whisker.; int1 & sent8 -> int2: the Soave does not deaminate whisker but it is prenatal.; sent5 -> int3: if the Soave does not deaminate whisker and is prenatal it does tunnel zapper.; int2 & int3 -> int4: the Soave tunnels zapper.; sent3 -> int5: if the Soave does not socialize it pecks sesamoid and it is a rank.; int5 & sent18 -> int6: the fact that the Soave does peck sesamoid and ranks hold.; int6 -> int7: the Soave pecks sesamoid.; int4 & int7 -> int8: the Soave does peck sesamoid and it does tunnel zapper.; sent17 -> int9: that the Smitane does tunnel Labrador and is a semblance is false if it is not international.; __UNKNOWN__