the raise is not a canister but it is a maneuverer.
sent1: the raise is not a checker if it is a canister and it is a kind of a maneuverer. sent2: if the AMD is not a kind of a dentition then the mender is not a dentition. sent3: something does not spread Norman if it is a Cedrela that is a canister. sent4: if the raise is a canister then the mender is not a Cedrela but it is mesomorphic. sent5: the sildenafil adds if it is not a kind of a oddness and/or does not dive Aeonium. sent6: something that is not adamantine is not non-genetic but fewer. sent7: the fact that the sildenafil is not a oddness is right. sent8: the fact that something is both not a canister and a maneuverer does not hold if it is not a Cedrela. sent9: the sildenafil is not adamantine. sent10: if there is something such that it is fewer and does add then the councilwoman is not a dentition. sent11: the AMD is a Cedrela if the kumquat is not a Cedrela. sent12: the mender is not a dentition if the fact that the AMD is both a dentition and not a checker is incorrect. sent13: if something is a Togolese or it is not a checker or both then it is a kind of a Togolese. sent14: that something is a maneuverer hold if it is a Cedrela. sent15: the kumquat is not a kind of a Cedrela if the mender is not a kind of a Cedrela but it is mesomorphic. sent16: the fact that the raise spreads Norman but it does not respect airliner does not hold if the councilwoman is not non-Togolese. sent17: the raise does not spread note but it is hemodynamics. sent18: if the kumquat does not respect airliner or is a kind of a Togolese or both the mender is a kind of a dentition. sent19: the raise is both not a canister and a maneuverer if that the kumquat is not a canister hold. sent20: something is a Togolese or is not a checker or both if it is not a dentition. sent21: if that the AMD respects airliner and it spreads Norman hold then the mender does not spreads Norman. sent22: if something does not spread Norman then it does not respect airliner. sent23: the kumquat is a Cedrela and mesomorphic.
sent23 -> int1: the kumquat is a kind of a Cedrela.; void -> assump1: Let's assume that that the kumquat is a kind of a canister is not false.; int1 & assump1 -> int2: the kumquat is a Cedrela and it is a canister.; sent3 -> int3: the kumquat does not spread Norman if it is a Cedrela and is a canister.; int2 & int3 -> int4: the kumquat does not spread Norman.; sent22 -> int5: if the kumquat does not spread Norman the fact that it does not respect airliner hold.; int4 & int5 -> int6: the kumquat does not respect airliner.; int6 -> int7: the kumquat does not respect airliner or it is Togolese or both.; int7 & sent18 -> int8: the mender is a dentition.;
the AMD is a maneuverer.
sent14 -> int9: if the AMD is a Cedrela then it is a maneuverer.; sent13 -> int10: the councilwoman is a Togolese if it either is a Togolese or is not a kind of a checker or both.; sent20 -> int11: if the councilwoman is not a dentition it is a Togolese or it does not checker or both.; sent6 -> int12: if the sildenafil is not adamantine then it is both not non-genetic and fewer.; int12 & sent9 -> int13: that the sildenafil is genetic and fewer is not incorrect.; int13 -> int14: the sildenafil is fewer.; sent7 -> int15: the sildenafil either is not a oddness or does not dive Aeonium or both.; sent5 & int15 -> int16: the sildenafil adds.; int14 & int16 -> int17: the sildenafil is fewer and it adds.; int17 -> int18: something is fewer and it adds.; int18 & sent10 -> int19: the councilwoman is not a kind of a dentition.; int11 & int19 -> int20: the councilwoman is a kind of a Togolese or it is not a checker or both.; int10 & int20 -> int21: the councilwoman is not non-Togolese.; sent16 & int21 -> int22: the fact that the raise spreads Norman but it does not respect airliner is not true.;
$hypothesis$ = the raise is not a canister but it is a maneuverer. ; $context$ = sent1: the raise is not a checker if it is a canister and it is a kind of a maneuverer. sent2: if the AMD is not a kind of a dentition then the mender is not a dentition. sent3: something does not spread Norman if it is a Cedrela that is a canister. sent4: if the raise is a canister then the mender is not a Cedrela but it is mesomorphic. sent5: the sildenafil adds if it is not a kind of a oddness and/or does not dive Aeonium. sent6: something that is not adamantine is not non-genetic but fewer. sent7: the fact that the sildenafil is not a oddness is right. sent8: the fact that something is both not a canister and a maneuverer does not hold if it is not a Cedrela. sent9: the sildenafil is not adamantine. sent10: if there is something such that it is fewer and does add then the councilwoman is not a dentition. sent11: the AMD is a Cedrela if the kumquat is not a Cedrela. sent12: the mender is not a dentition if the fact that the AMD is both a dentition and not a checker is incorrect. sent13: if something is a Togolese or it is not a checker or both then it is a kind of a Togolese. sent14: that something is a maneuverer hold if it is a Cedrela. sent15: the kumquat is not a kind of a Cedrela if the mender is not a kind of a Cedrela but it is mesomorphic. sent16: the fact that the raise spreads Norman but it does not respect airliner does not hold if the councilwoman is not non-Togolese. sent17: the raise does not spread note but it is hemodynamics. sent18: if the kumquat does not respect airliner or is a kind of a Togolese or both the mender is a kind of a dentition. sent19: the raise is both not a canister and a maneuverer if that the kumquat is not a canister hold. sent20: something is a Togolese or is not a checker or both if it is not a dentition. sent21: if that the AMD respects airliner and it spreads Norman hold then the mender does not spreads Norman. sent22: if something does not spread Norman then it does not respect airliner. sent23: the kumquat is a Cedrela and mesomorphic. ; $proof$ = 
sent23 -> int1: the kumquat is a kind of a Cedrela.; void -> assump1: Let's assume that that the kumquat is a kind of a canister is not false.; int1 & assump1 -> int2: the kumquat is a Cedrela and it is a canister.; sent3 -> int3: the kumquat does not spread Norman if it is a Cedrela and is a canister.; int2 & int3 -> int4: the kumquat does not spread Norman.; sent22 -> int5: if the kumquat does not spread Norman the fact that it does not respect airliner hold.; int4 & int5 -> int6: the kumquat does not respect airliner.; int6 -> int7: the kumquat does not respect airliner or it is Togolese or both.; int7 & sent18 -> int8: the mender is a dentition.; __UNKNOWN__