if the pony is not unintelligible then the protamine is a marginalization.
sent1: the activation is not unintelligible. sent2: the bagel is not unintelligible if the pony is a kind of an aplomb. sent3: something does impede outflow. sent4: that the pony is an aplomb and it does impede outflow is not wrong.
sent4 -> int1: the pony impedes outflow.; void -> assump1: Let's assume that the pony is intelligible.; int1 & assump1 -> int2: the pony does impede outflow and it is intelligible.; int2 -> int3: something impedes outflow and is intelligible.;
the bagel is intelligible.
$hypothesis$ = if the pony is not unintelligible then the protamine is a marginalization. ; $context$ = sent1: the activation is not unintelligible. sent2: the bagel is not unintelligible if the pony is a kind of an aplomb. sent3: something does impede outflow. sent4: that the pony is an aplomb and it does impede outflow is not wrong. ; $proof$ = 
sent4 -> int1: the pony impedes outflow.; void -> assump1: Let's assume that the pony is intelligible.; int1 & assump1 -> int2: the pony does impede outflow and it is intelligible.; int2 -> int3: something impedes outflow and is intelligible.; __UNKNOWN__