the foster-child is a straphanger.
sent1: the foster-child is not a documentary and is a Buchenwald if it is not a kind of a straphanger. sent2: the grouper is not a Buchenwald. sent3: the cosmid is cathodic and it is actuarial. sent4: if the cosmid is not a workforce then the fact that the foster-child is both cathodic and actuarial is not right.
void -> assump1: Let's assume that the foster-child is not a straphanger.; sent1 & assump1 -> int1: the foster-child is not a kind of a documentary but it is a kind of a Buchenwald.; sent3 -> int2: the cosmid is cathodic.;
the seminarian is not a kind of a straphanger.
$hypothesis$ = the foster-child is a straphanger. ; $context$ = sent1: the foster-child is not a documentary and is a Buchenwald if it is not a kind of a straphanger. sent2: the grouper is not a Buchenwald. sent3: the cosmid is cathodic and it is actuarial. sent4: if the cosmid is not a workforce then the fact that the foster-child is both cathodic and actuarial is not right. ; $proof$ = 
void -> assump1: Let's assume that the foster-child is not a straphanger.; sent1 & assump1 -> int1: the foster-child is not a kind of a documentary but it is a kind of a Buchenwald.; sent3 -> int2: the cosmid is cathodic.; __UNKNOWN__