the life-of-man does not boondoggle.
sent1: the chameleon is proverbial. sent2: the life-of-man does not boondoggle if there is something such that it is not a chafed. sent3: everything is proverbial and is a graham. sent4: the enlarger is not proverbial if the fact that the psychotic is not edible and is proverbial is wrong. sent5: the chameleon is a kind of a Zimbabwean if there is something such that it is edible. sent6: the nephelinite does not boondoggle and it does not jack psychrometer. sent7: a non-younger thing is a Haemodorum. sent8: if the life-of-man boondoggles then it is not a Zimbabwean. sent9: the fact that the enlarger is not edible and it is not endocentric is not correct. sent10: there is something such that it is inedible thing that is not endocentric. sent11: the psychotic is endocentric if the fact that it is a Gasterosteidae is not wrong. sent12: the nephelinite does not rerun psychotic if there is something such that it is not a chafed. sent13: the chameleon does not rerun psychotic. sent14: that the psychotic is not edible but it is proverbial is not correct if the fact that it is endocentric hold. sent15: if the chameleon is younger it does not rerun psychotic and is not a Zimbabwean. sent16: the chameleon does not rerun psychotic if the nephelinite is younger and chafes. sent17: something is not a chafed and/or is not a graham if it is not proverbial. sent18: if the chameleon is both a Haemodorum and a graham then the nephelinite is not a chafed.
void -> assump1: Let's assume that the chameleon is not non-younger.; sent15 & assump1 -> int1: the chameleon does not rerun psychotic and is not a kind of a Zimbabwean.; int1 -> int2: the chameleon is not a Zimbabwean.; sent9 -> int3: there exists something such that that it is not edible and not endocentric is not right.; sent7 -> int4: the chameleon is a Haemodorum if it is not younger.; sent3 -> int5: the chameleon is proverbial and it is a graham.; int5 -> int6: the fact that the chameleon is a graham hold.;
the life-of-man is a boondoggle.
sent17 -> int7: if the enlarger is not proverbial it does not chafe and/or is not a kind of a graham.;
$hypothesis$ = the life-of-man does not boondoggle. ; $context$ = sent1: the chameleon is proverbial. sent2: the life-of-man does not boondoggle if there is something such that it is not a chafed. sent3: everything is proverbial and is a graham. sent4: the enlarger is not proverbial if the fact that the psychotic is not edible and is proverbial is wrong. sent5: the chameleon is a kind of a Zimbabwean if there is something such that it is edible. sent6: the nephelinite does not boondoggle and it does not jack psychrometer. sent7: a non-younger thing is a Haemodorum. sent8: if the life-of-man boondoggles then it is not a Zimbabwean. sent9: the fact that the enlarger is not edible and it is not endocentric is not correct. sent10: there is something such that it is inedible thing that is not endocentric. sent11: the psychotic is endocentric if the fact that it is a Gasterosteidae is not wrong. sent12: the nephelinite does not rerun psychotic if there is something such that it is not a chafed. sent13: the chameleon does not rerun psychotic. sent14: that the psychotic is not edible but it is proverbial is not correct if the fact that it is endocentric hold. sent15: if the chameleon is younger it does not rerun psychotic and is not a Zimbabwean. sent16: the chameleon does not rerun psychotic if the nephelinite is younger and chafes. sent17: something is not a chafed and/or is not a graham if it is not proverbial. sent18: if the chameleon is both a Haemodorum and a graham then the nephelinite is not a chafed. ; $proof$ = 
void -> assump1: Let's assume that the chameleon is not non-younger.; sent15 & assump1 -> int1: the chameleon does not rerun psychotic and is not a kind of a Zimbabwean.; int1 -> int2: the chameleon is not a Zimbabwean.; sent9 -> int3: there exists something such that that it is not edible and not endocentric is not right.; sent7 -> int4: the chameleon is a Haemodorum if it is not younger.; sent3 -> int5: the chameleon is proverbial and it is a graham.; int5 -> int6: the fact that the chameleon is a graham hold.; __UNKNOWN__