the actinomycin is pectic.
sent1: something is non-pectic if it does horn underperformer and/or attaches. sent2: a higher thing is not a channelization. sent3: The underperformer does horn actinomycin. sent4: the actinomycin does horn underperformer.
sent1 -> int1: if either the actinomycin horns underperformer or it does attach or both then it is not pectic.; sent4 -> int2: the fact that the actinomycin horns underperformer and/or it does attach is correct.; int1 & int2 -> hypothesis;
$hypothesis$ = the actinomycin is pectic. ; $context$ = sent1: something is non-pectic if it does horn underperformer and/or attaches. sent2: a higher thing is not a channelization. sent3: The underperformer does horn actinomycin. sent4: the actinomycin does horn underperformer. ; $proof$ = 
sent1 -> int1: if either the actinomycin horns underperformer or it does attach or both then it is not pectic.; sent4 -> int2: the fact that the actinomycin horns underperformer and/or it does attach is correct.; int1 & int2 -> hypothesis; __DISPROVED__