that the fact that the macadam is not capable is not incorrect if the macadam does dandle Celt does not hold.
sent1: that the hunk is capable is not false if it is natriuretic. sent2: something is not capable if it dandles Celt. sent3: if the macadam is slippery then it is a Presbyterian.
sent2 -> hypothesis;
$hypothesis$ = that the fact that the macadam is not capable is not incorrect if the macadam does dandle Celt does not hold. ; $context$ = sent1: that the hunk is capable is not false if it is natriuretic. sent2: something is not capable if it dandles Celt. sent3: if the macadam is slippery then it is a Presbyterian. ; $proof$ = 
sent2 -> hypothesis; __DISPROVED__