the walker is dyadic.
sent1: the blubberer is a kind of a pogonip and it is a logjam. sent2: if the fact that the glycoprotein does not geyser sway and is not mud-brick is not true the walker is dyadic. sent3: something does not geyser sway if it is a logjam. sent4: if the blubberer does not geyser sway then the fact that the glycoprotein does not geyser sway and is mud-brick is not true. sent5: the fact that the blubberer is not a Moor but it geysers appreciation is incorrect. sent6: if the blubberer does not geyser sway then that the glycoprotein does not geyser sway and is not mud-brick is not true. sent7: that the glycoprotein does geyser sway and is not mud-brick is not correct. sent8: if the blubberer is mud-brick then it does not geyser sway. sent9: the fact that the glycoprotein does not geyser sway but it is a kind of a pogonip is not true. sent10: the walker is a pogonip if that the blubberer is both non-mud-brick and non-dyadic is false. sent11: the walker is a pogonip.
sent1 -> int1: the blubberer is a logjam.; sent3 -> int2: the blubberer does not geyser sway if it is a logjam.; int1 & int2 -> int3: the blubberer does not geyser sway.; int3 & sent6 -> int4: that the glycoprotein does not geyser sway and it is not mud-brick is not right.; int4 & sent2 -> hypothesis;
$hypothesis$ = the walker is dyadic. ; $context$ = sent1: the blubberer is a kind of a pogonip and it is a logjam. sent2: if the fact that the glycoprotein does not geyser sway and is not mud-brick is not true the walker is dyadic. sent3: something does not geyser sway if it is a logjam. sent4: if the blubberer does not geyser sway then the fact that the glycoprotein does not geyser sway and is mud-brick is not true. sent5: the fact that the blubberer is not a Moor but it geysers appreciation is incorrect. sent6: if the blubberer does not geyser sway then that the glycoprotein does not geyser sway and is not mud-brick is not true. sent7: that the glycoprotein does geyser sway and is not mud-brick is not correct. sent8: if the blubberer is mud-brick then it does not geyser sway. sent9: the fact that the glycoprotein does not geyser sway but it is a kind of a pogonip is not true. sent10: the walker is a pogonip if that the blubberer is both non-mud-brick and non-dyadic is false. sent11: the walker is a pogonip. ; $proof$ = 
sent1 -> int1: the blubberer is a logjam.; sent3 -> int2: the blubberer does not geyser sway if it is a logjam.; int1 & int2 -> int3: the blubberer does not geyser sway.; int3 & sent6 -> int4: that the glycoprotein does not geyser sway and it is not mud-brick is not right.; int4 & sent2 -> hypothesis; __PROVED__