the fact that there is something such that if that it is not a kind of a resonance and it is not aeromedical is false then it does bear coxcomb is incorrect.
sent1: something bears coxcomb if it is a resonance. sent2: if that something is not a resonance but it is aeromedical is not true then it bears coxcomb. sent3: something bears coxcomb if that it is not a resonance and it is not aeromedical is not right.
sent3 -> int1: if that the miller's-thumb is both not a resonance and not aeromedical does not hold it bears coxcomb.; int1 -> hypothesis;
$hypothesis$ = the fact that there is something such that if that it is not a kind of a resonance and it is not aeromedical is false then it does bear coxcomb is incorrect. ; $context$ = sent1: something bears coxcomb if it is a resonance. sent2: if that something is not a resonance but it is aeromedical is not true then it bears coxcomb. sent3: something bears coxcomb if that it is not a resonance and it is not aeromedical is not right. ; $proof$ = 
sent3 -> int1: if that the miller's-thumb is both not a resonance and not aeromedical does not hold it bears coxcomb.; int1 -> hypothesis; __DISPROVED__