the pompon is a spur.
sent1: the newsreel is not translatable if the Barber is not translatable. sent2: the Barber is not translatable if that it is a millwright that is translatable is incorrect. sent3: if the audiotape is not translatable but it is a millwright the pompon is a spur. sent4: something is a kind of a cease if that it is loamless or it is not uterine or both does not hold. sent5: if the bombproof is loamless the pompon is not a spur. sent6: if that the menstruation is not uterine and is a cease is incorrect the obliger is uterine. sent7: the newsreel is not dicotyledonous and not non-magisterial if it is not translatable. sent8: if the obliger does not wrest Chimakum the fact that the menstruation is loamless or not uterine or both is not true. sent9: something is not a millwright. sent10: if the newsreel is not dicotyledonous and not incredulous the Barber is not magisterial. sent11: that something is not uterine and is a kind of a cease does not hold if it is not incredulous. sent12: if the bombproof does mystify zamia and is not nonterritorial the obliger does not wrest Chimakum. sent13: the audiotape is not translatable and is a millwright if there exists something such that it is not magisterial. sent14: the bombproof does mystify zamia but it is not nonterritorial. sent15: the fact that the Barber is a millwright and it is translatable is not right if there exists something such that it is not a kind of a millwright.
sent12 & sent14 -> int1: the obliger does not wrest Chimakum.; int1 & sent8 -> int2: the fact that the menstruation is loamless and/or it is not uterine is wrong.; sent4 -> int3: the menstruation is a kind of a cease if the fact that it is loamless and/or it is not uterine is wrong.; int2 & int3 -> int4: the menstruation is a cease.;
the pompon is not a spur.
sent11 -> int5: if the menstruation is not incredulous then that it is not uterine and it is a kind of a cease is false.; sent9 & sent15 -> int6: the fact that the Barber is a millwright and is translatable is not correct.; sent2 & int6 -> int7: the Barber is not translatable.; sent1 & int7 -> int8: that the newsreel is not translatable hold.; sent7 & int8 -> int9: the newsreel is both not dicotyledonous and magisterial.; int9 -> int10: something is not dicotyledonous and is magisterial.;
$hypothesis$ = the pompon is a spur. ; $context$ = sent1: the newsreel is not translatable if the Barber is not translatable. sent2: the Barber is not translatable if that it is a millwright that is translatable is incorrect. sent3: if the audiotape is not translatable but it is a millwright the pompon is a spur. sent4: something is a kind of a cease if that it is loamless or it is not uterine or both does not hold. sent5: if the bombproof is loamless the pompon is not a spur. sent6: if that the menstruation is not uterine and is a cease is incorrect the obliger is uterine. sent7: the newsreel is not dicotyledonous and not non-magisterial if it is not translatable. sent8: if the obliger does not wrest Chimakum the fact that the menstruation is loamless or not uterine or both is not true. sent9: something is not a millwright. sent10: if the newsreel is not dicotyledonous and not incredulous the Barber is not magisterial. sent11: that something is not uterine and is a kind of a cease does not hold if it is not incredulous. sent12: if the bombproof does mystify zamia and is not nonterritorial the obliger does not wrest Chimakum. sent13: the audiotape is not translatable and is a millwright if there exists something such that it is not magisterial. sent14: the bombproof does mystify zamia but it is not nonterritorial. sent15: the fact that the Barber is a millwright and it is translatable is not right if there exists something such that it is not a kind of a millwright. ; $proof$ = 
sent12 & sent14 -> int1: the obliger does not wrest Chimakum.; int1 & sent8 -> int2: the fact that the menstruation is loamless and/or it is not uterine is wrong.; sent4 -> int3: the menstruation is a kind of a cease if the fact that it is loamless and/or it is not uterine is wrong.; int2 & int3 -> int4: the menstruation is a cease.; __UNKNOWN__