there exists something such that if it is a discussant it is carpal.
sent1: the sewage is not fruitful. sent2: the trudger is fruitful if it is a autochthon. sent3: the sewage is both not a brawn and a discussant if the fiancee is not a carpal. sent4: if something is both not a fiddleneck and not fruitful it is a carpal. sent5: the sewage is carpal if it is not a fiddleneck and is fruitful.
void -> assump1: Let's assume that that the sewage is a discussant is right.; sent4 -> int1: the sewage is not non-carpal if it is not a fiddleneck and is not fruitful.;
the sewage is not a brawn and it is not a Ark.
$hypothesis$ = there exists something such that if it is a discussant it is carpal. ; $context$ = sent1: the sewage is not fruitful. sent2: the trudger is fruitful if it is a autochthon. sent3: the sewage is both not a brawn and a discussant if the fiancee is not a carpal. sent4: if something is both not a fiddleneck and not fruitful it is a carpal. sent5: the sewage is carpal if it is not a fiddleneck and is fruitful. ; $proof$ = 
void -> assump1: Let's assume that that the sewage is a discussant is right.; sent4 -> int1: the sewage is not non-carpal if it is not a fiddleneck and is not fruitful.; __UNKNOWN__