the operation is anamorphic.
sent1: the fact that the operation is a kind of bauxitic a maleness is wrong. sent2: if the operation is a maleness it is a covey. sent3: the bonnet is nonfissionable. sent4: if that something is bauxitic but it is not a kind of a maleness does not hold then it is a covey. sent5: that the abominator does overrun affined and it is an inclination is incorrect. sent6: if that the abominator does not overrun affined but it is an inclination is wrong it is not a maleness. sent7: if there is something such that it is not a covey the fact that the abominator is not a kind of a maleness and it is not bauxitic is wrong. sent8: that the abominator does not overrun affined and is an inclination is incorrect. sent9: the fact that the abominator is anamorphic but it is not a kind of a maleness is incorrect. sent10: the abominator is not a maleness if it overruns affined. sent11: something is a decidua if it is adaptive. sent12: that the operation is bauxitic and is a maleness does not hold if the abominator is not a maleness. sent13: if there is something such that it is a kind of a viscometer that the comfrey is fibrinous but it is not a viscometer is wrong. sent14: if that the comfrey is fibrinous but it is not a viscometer is not right the nosewheel is not a covey. sent15: that something is a covey if it is a kind of a maleness hold. sent16: if the bonnet is nonfissionable then that the TRH is non-Bhutanese thing that is a Moynihan does not hold. sent17: the carbonate is adaptive if there exists something such that that it is not a Bhutanese and it is a Moynihan is wrong. sent18: if that the carbonate is a decidua is not incorrect then the minicomputer is a kind of a viscometer. sent19: if the abominator is not a maleness then the fact that the operation is both bauxitic and not a maleness is wrong.
sent6 & sent8 -> int1: the abominator is not a kind of a maleness.; int1 & sent19 -> int2: the fact that the operation is both bauxitic and not a maleness is not right.; sent4 -> int3: if that the operation is bauxitic but it is not a kind of a maleness is not true then it is a kind of a covey.; int2 & int3 -> int4: the operation is a covey.;
the operation is not anamorphic.
sent11 -> int5: if the carbonate is adaptive then it is a decidua.; sent16 & sent3 -> int6: the fact that the TRH is not a kind of a Bhutanese but it is a Moynihan is not right.; int6 -> int7: there is something such that that it is not Bhutanese but a Moynihan does not hold.; int7 & sent17 -> int8: the carbonate is adaptive.; int5 & int8 -> int9: the carbonate is a kind of a decidua.; sent18 & int9 -> int10: the minicomputer is a viscometer.; int10 -> int11: there exists something such that it is a viscometer.; int11 & sent13 -> int12: that the comfrey is fibrinous but it is not a viscometer does not hold.; sent14 & int12 -> int13: the nosewheel is not a covey.; int13 -> int14: something is not a kind of a covey.; int14 & sent7 -> int15: that the abominator is not a maleness but non-bauxitic does not hold.; int15 -> int16: there exists something such that that it is not a maleness and it is not bauxitic does not hold.;
$hypothesis$ = the operation is anamorphic. ; $context$ = sent1: the fact that the operation is a kind of bauxitic a maleness is wrong. sent2: if the operation is a maleness it is a covey. sent3: the bonnet is nonfissionable. sent4: if that something is bauxitic but it is not a kind of a maleness does not hold then it is a covey. sent5: that the abominator does overrun affined and it is an inclination is incorrect. sent6: if that the abominator does not overrun affined but it is an inclination is wrong it is not a maleness. sent7: if there is something such that it is not a covey the fact that the abominator is not a kind of a maleness and it is not bauxitic is wrong. sent8: that the abominator does not overrun affined and is an inclination is incorrect. sent9: the fact that the abominator is anamorphic but it is not a kind of a maleness is incorrect. sent10: the abominator is not a maleness if it overruns affined. sent11: something is a decidua if it is adaptive. sent12: that the operation is bauxitic and is a maleness does not hold if the abominator is not a maleness. sent13: if there is something such that it is a kind of a viscometer that the comfrey is fibrinous but it is not a viscometer is wrong. sent14: if that the comfrey is fibrinous but it is not a viscometer is not right the nosewheel is not a covey. sent15: that something is a covey if it is a kind of a maleness hold. sent16: if the bonnet is nonfissionable then that the TRH is non-Bhutanese thing that is a Moynihan does not hold. sent17: the carbonate is adaptive if there exists something such that that it is not a Bhutanese and it is a Moynihan is wrong. sent18: if that the carbonate is a decidua is not incorrect then the minicomputer is a kind of a viscometer. sent19: if the abominator is not a maleness then the fact that the operation is both bauxitic and not a maleness is wrong. ; $proof$ = 
sent6 & sent8 -> int1: the abominator is not a kind of a maleness.; int1 & sent19 -> int2: the fact that the operation is both bauxitic and not a maleness is not right.; sent4 -> int3: if that the operation is bauxitic but it is not a kind of a maleness is not true then it is a kind of a covey.; int2 & int3 -> int4: the operation is a covey.; __UNKNOWN__