that the dichotomization does not occur is true.
sent1: the seceding happens if the phenotypicalness occurs. sent2: both the association and the non-downstreamness happens. sent3: the phenotypicalness happens.
sent2 -> int1: the association occurs.; sent1 & sent3 -> int2: the seceding occurs.; int1 & int2 -> int3: both the association and the seceding occurs.;
$hypothesis$ = that the dichotomization does not occur is true. ; $context$ = sent1: the seceding happens if the phenotypicalness occurs. sent2: both the association and the non-downstreamness happens. sent3: the phenotypicalness happens. ; $proof$ = 
sent2 -> int1: the association occurs.; sent1 & sent3 -> int2: the seceding occurs.; int1 & int2 -> int3: both the association and the seceding occurs.; __UNKNOWN__