the municipality is a dastard.
sent1: the municipality is not a kind of a dastard if the redtail is radial-ply and it is paniculate. sent2: if the lodge is not radial-ply the fact that the redtail is a kind of radial-ply thing that is paniculate hold. sent3: The navel does tunnel Weld. sent4: the Weld does tunnel navel. sent5: the Weld is galactic. sent6: the lodge is not radial-ply if the Weld does tunnel navel and is galactic.
sent4 & sent5 -> int1: the Weld does tunnel navel and it is galactic.; sent6 & int1 -> int2: the lodge is not radial-ply.; sent2 & int2 -> int3: the redtail is both radial-ply and paniculate.; sent1 & int3 -> hypothesis;
$hypothesis$ = the municipality is a dastard. ; $context$ = sent1: the municipality is not a kind of a dastard if the redtail is radial-ply and it is paniculate. sent2: if the lodge is not radial-ply the fact that the redtail is a kind of radial-ply thing that is paniculate hold. sent3: The navel does tunnel Weld. sent4: the Weld does tunnel navel. sent5: the Weld is galactic. sent6: the lodge is not radial-ply if the Weld does tunnel navel and is galactic. ; $proof$ = 
sent4 & sent5 -> int1: the Weld does tunnel navel and it is galactic.; sent6 & int1 -> int2: the lodge is not radial-ply.; sent2 & int2 -> int3: the redtail is both radial-ply and paniculate.; sent1 & int3 -> hypothesis; __DISPROVED__