the eriogonum is hidrotic.
sent1: the huisache is a Kannada but not appellate if the tamarisk is a Kannada. sent2: if the huisache is a kind of a Kannada but it is not appellate it snows polyvalence. sent3: something that does cutinize is non-hidrotic. sent4: if something that is not a kind of a Kannada does not subtract assay then it does not cutinize. sent5: the eriogonum is a Kannada. sent6: the tower miscasts and does not snow polyvalence if the huisache snow polyvalence. sent7: something is not a Kannada. sent8: the fact that the eriogonum is hidrotic is not false if there exists something such that it does miscast and it does not snow polyvalence. sent9: there exists something such that it does subtract assay. sent10: the huisache does miscast if it does snow polyvalence and is not hidrotic. sent11: if the trivet is appellate then the cartridge is not a Kannada and does not subtract assay. sent12: if the trivet does subtract assay the tamarisk is a Kannada. sent13: the huisache is hidrotic if the fact that it is not a Bulawayo hold. sent14: if that the trivet does not cutinize and is not a Kannada is true then the eriogonum does cutinize. sent15: if the tamarisk is a Kannada then the huisache is a Kannada. sent16: the tamarisk does not miscast and is not appellate if the huisache is hidrotic. sent17: something does snow polyvalence but it does not federalize shave if it does not cutinize. sent18: the trivet does not cutinize and it is not a Kannada if the tamarisk does not subtract assay. sent19: the humus miscasts. sent20: if there exists something such that that it does not cutinize is true then the trivet does subtract assay. sent21: if the fact that the tamarisk does not miscast and it is not appellate is right the trivet is appellate. sent22: the huisache is a Kannada.
the eriogonum is not hidrotic.
sent3 -> int1: the eriogonum is not hidrotic if it cutinizes.;
$hypothesis$ = the eriogonum is hidrotic. ; $context$ = sent1: the huisache is a Kannada but not appellate if the tamarisk is a Kannada. sent2: if the huisache is a kind of a Kannada but it is not appellate it snows polyvalence. sent3: something that does cutinize is non-hidrotic. sent4: if something that is not a kind of a Kannada does not subtract assay then it does not cutinize. sent5: the eriogonum is a Kannada. sent6: the tower miscasts and does not snow polyvalence if the huisache snow polyvalence. sent7: something is not a Kannada. sent8: the fact that the eriogonum is hidrotic is not false if there exists something such that it does miscast and it does not snow polyvalence. sent9: there exists something such that it does subtract assay. sent10: the huisache does miscast if it does snow polyvalence and is not hidrotic. sent11: if the trivet is appellate then the cartridge is not a Kannada and does not subtract assay. sent12: if the trivet does subtract assay the tamarisk is a Kannada. sent13: the huisache is hidrotic if the fact that it is not a Bulawayo hold. sent14: if that the trivet does not cutinize and is not a Kannada is true then the eriogonum does cutinize. sent15: if the tamarisk is a Kannada then the huisache is a Kannada. sent16: the tamarisk does not miscast and is not appellate if the huisache is hidrotic. sent17: something does snow polyvalence but it does not federalize shave if it does not cutinize. sent18: the trivet does not cutinize and it is not a Kannada if the tamarisk does not subtract assay. sent19: the humus miscasts. sent20: if there exists something such that that it does not cutinize is true then the trivet does subtract assay. sent21: if the fact that the tamarisk does not miscast and it is not appellate is right the trivet is appellate. sent22: the huisache is a Kannada. ; $proof$ = 
__UNKNOWN__