the terry is not facultative.
sent1: something does not varnish oophorectomy and is not a prepuberty if the fact that it impends is not incorrect. sent2: if a non-nonmigratory thing is not a kind of a beggar-my-neighbor then it does not impend. sent3: if the terry is a pipit it is not facultative. sent4: if the classicist is a beggar-my-neighbor then the stifle is not nonmigratory. sent5: the classicist is a beggar-my-neighbor if it does not varnish oophorectomy and it is not a prepuberty. sent6: something that impends does not varnish oophorectomy. sent7: the classicist does impend. sent8: if the classicist impends then it does not varnish oophorectomy. sent9: the stifle is a beggar-my-neighbor and does varnish ampere-hour. sent10: if the stifle is not nonmigratory the fact that the terry is not a kind of a pipit but it is nonmigratory is not true.
sent1 -> int1: if the classicist does impend it does not varnish oophorectomy and is not a prepuberty.; int1 & sent7 -> int2: the classicist does not varnish oophorectomy and is not a prepuberty.; int2 & sent5 -> int3: the classicist is a kind of a beggar-my-neighbor.; int3 & sent4 -> int4: the stifle is not nonmigratory.; int4 & sent10 -> int5: the fact that the terry is not a pipit but it is nonmigratory is not true.;
the terry is facultative.
sent9 -> int6: the stifle is a beggar-my-neighbor.;
$hypothesis$ = the terry is not facultative. ; $context$ = sent1: something does not varnish oophorectomy and is not a prepuberty if the fact that it impends is not incorrect. sent2: if a non-nonmigratory thing is not a kind of a beggar-my-neighbor then it does not impend. sent3: if the terry is a pipit it is not facultative. sent4: if the classicist is a beggar-my-neighbor then the stifle is not nonmigratory. sent5: the classicist is a beggar-my-neighbor if it does not varnish oophorectomy and it is not a prepuberty. sent6: something that impends does not varnish oophorectomy. sent7: the classicist does impend. sent8: if the classicist impends then it does not varnish oophorectomy. sent9: the stifle is a beggar-my-neighbor and does varnish ampere-hour. sent10: if the stifle is not nonmigratory the fact that the terry is not a kind of a pipit but it is nonmigratory is not true. ; $proof$ = 
sent1 -> int1: if the classicist does impend it does not varnish oophorectomy and is not a prepuberty.; int1 & sent7 -> int2: the classicist does not varnish oophorectomy and is not a prepuberty.; int2 & sent5 -> int3: the classicist is a kind of a beggar-my-neighbor.; int3 & sent4 -> int4: the stifle is not nonmigratory.; int4 & sent10 -> int5: the fact that the terry is not a pipit but it is nonmigratory is not true.; __UNKNOWN__