that the diesel-hydraulic is not a kind of a agave but it is wiry does not hold.
sent1: something is a ratchet and it does unzip if it does not respect legend. sent2: the zircon is economic. sent3: if something ratchets then that it is a Casuaridae is right. sent4: if something is not an adjective then it is not a agave and it is wiry. sent5: the zircon is not a kind of a thorn or it is fabian or both. sent6: the fact that that the watercolorist is economic and not an adjective is not correct hold. sent7: if the bitumen is not unstuck it is not paniculate and it is not economic. sent8: something is unstuck if it is paniculate. sent9: something does not agglomerate and it is not a kind of a terminal. sent10: if something is not paniculate it is both economic and nonaddictive. sent11: the fact that the watercolorist does not respect legend is right if something that is not an agglomerate is not a terminal. sent12: the fact that the diesel-hydraulic is a agave and is wiry is not right if it is unpublishable. sent13: the fact that the diesel-hydraulic is a agave and it is wiry is incorrect. sent14: if the bitumen is adjective then it is addictive. sent15: the bitumen is not addictive if the zircon is not a Casuaridae. sent16: the diesel-hydraulic is not non-paniculate if that the watercolorist is non-economic thing that is not an adjective does not hold. sent17: if something is not a thorn and/or it is fabian then the watercolorist is unstuck. sent18: the fact that the watercolorist is not economic but it is a kind of an adjective is not right. sent19: that the watercolorist is economic and is not an adjective does not hold if the bitumen is not adjective. sent20: if something is both not addictive and not an adjective then it is not a Casuaridae. sent21: the bitumen is not addictive if the fact that the zircon is either not a thorn or not a Casuaridae or both is correct. sent22: the zircon is not a kind of a thorn and/or it is a kind of a Casuaridae. sent23: if the bitumen is not an adjective then that the fact that the watercolorist is not economic but it is a kind of an adjective is not true is not incorrect. sent24: if something is a Casuaridae then it is unpublishable. sent25: the diesel-hydraulic is unpublishable if it is unstuck. sent26: if the diesel-hydraulic is unpublishable that it is not a agave and it is wiry is not true. sent27: if the bitumen is not a kind of an adjective the fact that the watercolorist is both not economic and not an adjective is incorrect.
void -> assump1: Let's assume that the bitumen is adjective.; sent14 & assump1 -> int1: the bitumen is not nonaddictive.; sent8 -> int2: if that the diesel-hydraulic is paniculate is correct then it is unstuck.;
the essence is not a Casuaridae.
sent20 -> int3: if the essence is non-addictive thing that is not a kind of an adjective it is not a Casuaridae.;
$hypothesis$ = that the diesel-hydraulic is not a kind of a agave but it is wiry does not hold. ; $context$ = sent1: something is a ratchet and it does unzip if it does not respect legend. sent2: the zircon is economic. sent3: if something ratchets then that it is a Casuaridae is right. sent4: if something is not an adjective then it is not a agave and it is wiry. sent5: the zircon is not a kind of a thorn or it is fabian or both. sent6: the fact that that the watercolorist is economic and not an adjective is not correct hold. sent7: if the bitumen is not unstuck it is not paniculate and it is not economic. sent8: something is unstuck if it is paniculate. sent9: something does not agglomerate and it is not a kind of a terminal. sent10: if something is not paniculate it is both economic and nonaddictive. sent11: the fact that the watercolorist does not respect legend is right if something that is not an agglomerate is not a terminal. sent12: the fact that the diesel-hydraulic is a agave and is wiry is not right if it is unpublishable. sent13: the fact that the diesel-hydraulic is a agave and it is wiry is incorrect. sent14: if the bitumen is adjective then it is addictive. sent15: the bitumen is not addictive if the zircon is not a Casuaridae. sent16: the diesel-hydraulic is not non-paniculate if that the watercolorist is non-economic thing that is not an adjective does not hold. sent17: if something is not a thorn and/or it is fabian then the watercolorist is unstuck. sent18: the fact that the watercolorist is not economic but it is a kind of an adjective is not right. sent19: that the watercolorist is economic and is not an adjective does not hold if the bitumen is not adjective. sent20: if something is both not addictive and not an adjective then it is not a Casuaridae. sent21: the bitumen is not addictive if the fact that the zircon is either not a thorn or not a Casuaridae or both is correct. sent22: the zircon is not a kind of a thorn and/or it is a kind of a Casuaridae. sent23: if the bitumen is not an adjective then that the fact that the watercolorist is not economic but it is a kind of an adjective is not true is not incorrect. sent24: if something is a Casuaridae then it is unpublishable. sent25: the diesel-hydraulic is unpublishable if it is unstuck. sent26: if the diesel-hydraulic is unpublishable that it is not a agave and it is wiry is not true. sent27: if the bitumen is not a kind of an adjective the fact that the watercolorist is both not economic and not an adjective is incorrect. ; $proof$ = 
void -> assump1: Let's assume that the bitumen is adjective.; sent14 & assump1 -> int1: the bitumen is not nonaddictive.; sent8 -> int2: if that the diesel-hydraulic is paniculate is correct then it is unstuck.; __UNKNOWN__