either the Esselen is a amnesic or it is not a kind of a Tolstoy or both.
sent1: if something is a amnesic it is a Tolstoy. sent2: if something is a Tolstoy then the fact that it is a taper and/or it is not macrobiotics is correct. sent3: that something is not a amnesic but it is a stringency does not hold if it is a gooseberry. sent4: if the fact that something is a kind of non-amnesic a stringency is wrong then it is a amnesic. sent5: the adobe is macrobiotics. sent6: the derv is a gooseberry and it is a methadone if the Esselen is not a grind. sent7: if the adobe is macrobiotics then the bigot is not macrobiotics. sent8: if something is not macrobiotics then it is plural and it is a banana.
sent8 -> int1: if the bigot is not macrobiotics then it is plural and is a banana.; sent7 & sent5 -> int2: the bigot is not macrobiotics.; int1 & int2 -> int3: the bigot is a plural and a banana.; int3 -> int4: the fact that the bigot is a plural hold.;
the derv is a taper and/or it is not macrobiotics.
sent2 -> int5: if the fact that the derv is a Tolstoy is correct it tapers or it is not macrobiotics or both.; sent1 -> int6: if the derv is a amnesic then it is a kind of a Tolstoy.; sent4 -> int7: if the fact that the derv is a kind of non-amnesic thing that is a stringency is incorrect it is a kind of a non-amnesic.; sent3 -> int8: the fact that the derv is not amnesic but it is a stringency is incorrect if it is a kind of a gooseberry.;
$hypothesis$ = either the Esselen is a amnesic or it is not a kind of a Tolstoy or both. ; $context$ = sent1: if something is a amnesic it is a Tolstoy. sent2: if something is a Tolstoy then the fact that it is a taper and/or it is not macrobiotics is correct. sent3: that something is not a amnesic but it is a stringency does not hold if it is a gooseberry. sent4: if the fact that something is a kind of non-amnesic a stringency is wrong then it is a amnesic. sent5: the adobe is macrobiotics. sent6: the derv is a gooseberry and it is a methadone if the Esselen is not a grind. sent7: if the adobe is macrobiotics then the bigot is not macrobiotics. sent8: if something is not macrobiotics then it is plural and it is a banana. ; $proof$ = 
sent8 -> int1: if the bigot is not macrobiotics then it is plural and is a banana.; sent7 & sent5 -> int2: the bigot is not macrobiotics.; int1 & int2 -> int3: the bigot is a plural and a banana.; int3 -> int4: the fact that the bigot is a plural hold.; __UNKNOWN__