the ratline is not a asclepiad.
sent1: something is a asclepiad if it is nectar-rich. sent2: the nogging is both an ax and a blot. sent3: the ratline is nectar-rich if the nogging is a blot. sent4: if the secessionist is not ultramicroscopic then the fact that the ratline is both not nectar-rich and a asclepiad is wrong. sent5: the secessionist is not ultramicroscopic if it is unpeaceful and it is not cloudy.
sent2 -> int1: the nogging is a blot.; int1 & sent3 -> int2: the ratline is nectar-rich.; sent1 -> int3: that the ratline is the asclepiad if that the ratline is nectar-rich is not incorrect is not incorrect.; int2 & int3 -> hypothesis;
the sickbay is a kind of an ax.
$hypothesis$ = the ratline is not a asclepiad. ; $context$ = sent1: something is a asclepiad if it is nectar-rich. sent2: the nogging is both an ax and a blot. sent3: the ratline is nectar-rich if the nogging is a blot. sent4: if the secessionist is not ultramicroscopic then the fact that the ratline is both not nectar-rich and a asclepiad is wrong. sent5: the secessionist is not ultramicroscopic if it is unpeaceful and it is not cloudy. ; $proof$ = 
sent2 -> int1: the nogging is a blot.; int1 & sent3 -> int2: the ratline is nectar-rich.; sent1 -> int3: that the ratline is the asclepiad if that the ratline is nectar-rich is not incorrect is not incorrect.; int2 & int3 -> hypothesis; __DISPROVED__