the fact that the commodity wears muleteer and is not a kind of a tamarau does not hold.
sent1: the commodity does not wear sowbread but it is an orthodoxy if the Tudor demands. sent2: the Redskin does not identify chenille. sent3: if the Redskin does demand but it does not identify chenille then the Tudor demand. sent4: that that the commodity does wear muleteer and it is a kind of a tamarau does not hold if the chenille is not a kind of a tamarau hold. sent5: the commodity is not acanthotic if it does not wear sowbread and is a kind of an orthodoxy. sent6: the Redskin does not rabbet Altair and/or it is not a kind of a positive. sent7: if a heliograph does not rabbet phobophobia then the chenille is a knowingness. sent8: if the chenille is a knowingness then it is not a tamarau. sent9: the chenille does not wear muleteer. sent10: something is a kind of a knowingness that is metabolic if it is not acanthotic. sent11: the fact that the commodity does wear muleteer and is not a tamarau is not true if the chenille is not a kind of a tamarau. sent12: if the Redskin does not rabbet Altair and/or is not positive then it is a demand. sent13: there is something such that it heliographs and does not rabbet phobophobia. sent14: if the chenille is not a knowingness then that the commodity is a tamarau but it is not a knowingness is incorrect. sent15: something does not rabbet phobophobia.
sent13 & sent7 -> int1: the chenille is a knowingness.; int1 & sent8 -> int2: the chenille is not a tamarau.; int2 & sent11 -> hypothesis;
the commodity wears muleteer and is not a tamarau.
sent10 -> int3: the commodity is a kind of a knowingness and it is metabolic if it is not acanthotic.; sent12 & sent6 -> int4: the Redskin is a demand.; int4 & sent2 -> int5: the Redskin does demand but it does not identify chenille.; sent3 & int5 -> int6: the Tudor is a demand.; sent1 & int6 -> int7: the commodity does not wear sowbread and is a kind of an orthodoxy.; sent5 & int7 -> int8: the commodity is not acanthotic.; int3 & int8 -> int9: the commodity is a knowingness and is metabolic.; int9 -> int10: the commodity is a knowingness.;
$hypothesis$ = the fact that the commodity wears muleteer and is not a kind of a tamarau does not hold. ; $context$ = sent1: the commodity does not wear sowbread but it is an orthodoxy if the Tudor demands. sent2: the Redskin does not identify chenille. sent3: if the Redskin does demand but it does not identify chenille then the Tudor demand. sent4: that that the commodity does wear muleteer and it is a kind of a tamarau does not hold if the chenille is not a kind of a tamarau hold. sent5: the commodity is not acanthotic if it does not wear sowbread and is a kind of an orthodoxy. sent6: the Redskin does not rabbet Altair and/or it is not a kind of a positive. sent7: if a heliograph does not rabbet phobophobia then the chenille is a knowingness. sent8: if the chenille is a knowingness then it is not a tamarau. sent9: the chenille does not wear muleteer. sent10: something is a kind of a knowingness that is metabolic if it is not acanthotic. sent11: the fact that the commodity does wear muleteer and is not a tamarau is not true if the chenille is not a kind of a tamarau. sent12: if the Redskin does not rabbet Altair and/or is not positive then it is a demand. sent13: there is something such that it heliographs and does not rabbet phobophobia. sent14: if the chenille is not a knowingness then that the commodity is a tamarau but it is not a knowingness is incorrect. sent15: something does not rabbet phobophobia. ; $proof$ = 
sent13 & sent7 -> int1: the chenille is a knowingness.; int1 & sent8 -> int2: the chenille is not a tamarau.; int2 & sent11 -> hypothesis; __PROVED__