the techie is automatic.
sent1: the cittern is not a statics but it is a kind of a demography. sent2: if there is something such that the fact that it does not round and it is not a kind of a demography does not hold the quahaug is a demography. sent3: if something is not disloyal then it is not a rounding and it is not a trip. sent4: the sourwood is rounding if something that is not a statics is a demography. sent5: if the cutoff is not a kind of a rounding the bestseller is not disloyal. sent6: if the bestseller is adjective the techie is an automatic. sent7: something is not non-adjective if it is not disloyal. sent8: the bestseller is not disloyal if the cutoff does trip. sent9: there exists something such that it is a trip. sent10: if something is not a trip and/or it is not adjective then it is not a kind of a trip.
sent1 -> int1: something is both not statics and a demography.; int1 & sent4 -> int2: the sourwood rounds.; sent7 -> int3: if the bestseller is not disloyal then it is an adjective.;
the techie is not a kind of an automatic.
sent3 -> int4: the cutoff is non-rounding and it is not a kind of a trip if it is not disloyal.;
$hypothesis$ = the techie is automatic. ; $context$ = sent1: the cittern is not a statics but it is a kind of a demography. sent2: if there is something such that the fact that it does not round and it is not a kind of a demography does not hold the quahaug is a demography. sent3: if something is not disloyal then it is not a rounding and it is not a trip. sent4: the sourwood is rounding if something that is not a statics is a demography. sent5: if the cutoff is not a kind of a rounding the bestseller is not disloyal. sent6: if the bestseller is adjective the techie is an automatic. sent7: something is not non-adjective if it is not disloyal. sent8: the bestseller is not disloyal if the cutoff does trip. sent9: there exists something such that it is a trip. sent10: if something is not a trip and/or it is not adjective then it is not a kind of a trip. ; $proof$ = 
sent1 -> int1: something is both not statics and a demography.; int1 & sent4 -> int2: the sourwood rounds.; sent7 -> int3: if the bestseller is not disloyal then it is an adjective.; __UNKNOWN__