if the dilution does not angle upper the papoose is both not a Lewisia and not anticlimactic.
sent1: if something that is not a coffeepot does direct the extraction is anticlimactic. sent2: if the dilution does not angle upper the fiddlehead is not a coffeepot and it is not direct. sent3: if something is not a Lewisia the fact that it is an enclave and anticlimactic is not true. sent4: that the papoose is not a Lewisia and is anticlimactic if the fact that the extraction is not anticlimactic is not true is not incorrect. sent5: everything is not a Lewisia. sent6: something is a coffeepot but it is non-anticlimactic. sent7: the extraction is anticlimactic if something is not a coffeepot and not direct. sent8: the upper is not a kind of an enclave if there exists something such that that it is an enclave and anticlimactic is incorrect.
void -> assump1: Let's assume that the dilution does not angle upper.; sent2 & assump1 -> int1: the fiddlehead is not a coffeepot and it is not direct.; int1 -> int2: there is something such that it is both not a coffeepot and not direct.; int2 & sent7 -> int3: the extraction is anticlimactic.;
the upper does not angle upper and is not an enclave.
sent3 -> int4: the fact that the extraction is an enclave and anticlimactic is incorrect if it is not a Lewisia.; sent5 -> int5: the extraction is not a Lewisia.; int4 & int5 -> int6: the fact that that the extraction is an enclave and is anticlimactic is not right is right.; int6 -> int7: there is nothing such that it is an enclave but not non-anticlimactic.; int7 -> int8: that the dilution is both an enclave and anticlimactic is false.; int8 -> int9: there is something such that the fact that it is an enclave and it is anticlimactic is not true.; sent8 & int9 -> int10: the upper is not an enclave.;
$hypothesis$ = if the dilution does not angle upper the papoose is both not a Lewisia and not anticlimactic. ; $context$ = sent1: if something that is not a coffeepot does direct the extraction is anticlimactic. sent2: if the dilution does not angle upper the fiddlehead is not a coffeepot and it is not direct. sent3: if something is not a Lewisia the fact that it is an enclave and anticlimactic is not true. sent4: that the papoose is not a Lewisia and is anticlimactic if the fact that the extraction is not anticlimactic is not true is not incorrect. sent5: everything is not a Lewisia. sent6: something is a coffeepot but it is non-anticlimactic. sent7: the extraction is anticlimactic if something is not a coffeepot and not direct. sent8: the upper is not a kind of an enclave if there exists something such that that it is an enclave and anticlimactic is incorrect. ; $proof$ = 
void -> assump1: Let's assume that the dilution does not angle upper.; sent2 & assump1 -> int1: the fiddlehead is not a coffeepot and it is not direct.; int1 -> int2: there is something such that it is both not a coffeepot and not direct.; int2 & sent7 -> int3: the extraction is anticlimactic.; __UNKNOWN__