the quince is a Tobagonian.
sent1: the quince does oxygenate makeweight. sent2: the blackpoll does not update arson and it is not predicative. sent3: if the quince is a Tobagonian it is formalistic. sent4: if there exists something such that that it is not a kind of a kohleria and/or it does not twill domination is not right then the earth is not immoderate. sent5: if something is not immoderate the fact that it is not an emulsion or twills Paphiopedilum or both is not right. sent6: the decumary is a Tobagonian. sent7: if the bull is unbridgeable then it is not non-homocercal. sent8: if something is a Hoffmann that it is a Tobagonian is not wrong. sent9: if something is prudent it is macroeconomic. sent10: the bronco is Tobagonian. sent11: the quince is an intangible and it is protrusive. sent12: if that something does twill Geneva is right then it is immoderate. sent13: the bottleneck does not oxygenate makeweight if the fact that the earth is not a kind of an emulsion and/or twills Paphiopedilum does not hold. sent14: the quince is uncommunicative. sent15: the fact that the Monophysite is not a Hoffmann and is Tobagonian is false if something does not oxygenate makeweight. sent16: if the blackpoll is not predicative then the fact that it is not a kind of a kohleria and/or it does not twill domination is not true.
sent8 -> int1: if the quince is a Hoffmann then it is a Tobagonian.;
the quince is not Tobagonian.
sent5 -> int2: if that the earth is not immoderate is right the fact that it is not an emulsion and/or twills Paphiopedilum is false.; sent2 -> int3: the blackpoll is not predicative.; sent16 & int3 -> int4: that the blackpoll is not a kohleria and/or it does not twill domination does not hold.; int4 -> int5: there is something such that the fact that either it is not a kohleria or it does not twill domination or both is not right.; int5 & sent4 -> int6: the earth is not immoderate.; int2 & int6 -> int7: the fact that the earth either is not an emulsion or twills Paphiopedilum or both is not true.; sent13 & int7 -> int8: the bottleneck does not oxygenate makeweight.; int8 -> int9: something does not oxygenate makeweight.; int9 & sent15 -> int10: that the Monophysite is both not a Hoffmann and a Tobagonian is wrong.; int10 -> int11: there exists something such that that it is both not a Hoffmann and a Tobagonian is wrong.;
$hypothesis$ = the quince is a Tobagonian. ; $context$ = sent1: the quince does oxygenate makeweight. sent2: the blackpoll does not update arson and it is not predicative. sent3: if the quince is a Tobagonian it is formalistic. sent4: if there exists something such that that it is not a kind of a kohleria and/or it does not twill domination is not right then the earth is not immoderate. sent5: if something is not immoderate the fact that it is not an emulsion or twills Paphiopedilum or both is not right. sent6: the decumary is a Tobagonian. sent7: if the bull is unbridgeable then it is not non-homocercal. sent8: if something is a Hoffmann that it is a Tobagonian is not wrong. sent9: if something is prudent it is macroeconomic. sent10: the bronco is Tobagonian. sent11: the quince is an intangible and it is protrusive. sent12: if that something does twill Geneva is right then it is immoderate. sent13: the bottleneck does not oxygenate makeweight if the fact that the earth is not a kind of an emulsion and/or twills Paphiopedilum does not hold. sent14: the quince is uncommunicative. sent15: the fact that the Monophysite is not a Hoffmann and is Tobagonian is false if something does not oxygenate makeweight. sent16: if the blackpoll is not predicative then the fact that it is not a kind of a kohleria and/or it does not twill domination is not true. ; $proof$ = 
sent8 -> int1: if the quince is a Hoffmann then it is a Tobagonian.; __UNKNOWN__