that the sender is a limbed is not false.
sent1: the widgeon is a triumph and it does ratchet Luftwaffe. sent2: if that that the pannikin is not a slant and it is not a triumph is not wrong is not correct the orphrey is not a kind of a shaft. sent3: if the orphrey is not a shaft that either the wader does shaft or it is bottom-up or both does not hold. sent4: if something does not ratchet Secession the fact that it is not a limbed is right. sent5: the sender does not ratchet Secession if there exists something such that the fact that it shafts and/or it is bottom-up is not true. sent6: if the widgeon is a triumph that the pannikin does not slant and is not a triumph does not hold.
sent1 -> int1: the widgeon is a triumph.; int1 & sent6 -> int2: the fact that the pannikin is not a slant and is not a triumph is not correct.; int2 & sent2 -> int3: the orphrey does not shaft.; int3 & sent3 -> int4: the fact that the wader is a kind of a shaft and/or it is bottom-up does not hold.; int4 -> int5: there exists something such that that it is a shaft or it is bottom-up or both is not right.; int5 & sent5 -> int6: the sender does not ratchet Secession.; sent4 -> int7: if the sender does not ratchet Secession it is not a limbed.; int6 & int7 -> hypothesis;
$hypothesis$ = that the sender is a limbed is not false. ; $context$ = sent1: the widgeon is a triumph and it does ratchet Luftwaffe. sent2: if that that the pannikin is not a slant and it is not a triumph is not wrong is not correct the orphrey is not a kind of a shaft. sent3: if the orphrey is not a shaft that either the wader does shaft or it is bottom-up or both does not hold. sent4: if something does not ratchet Secession the fact that it is not a limbed is right. sent5: the sender does not ratchet Secession if there exists something such that the fact that it shafts and/or it is bottom-up is not true. sent6: if the widgeon is a triumph that the pannikin does not slant and is not a triumph does not hold. ; $proof$ = 
sent1 -> int1: the widgeon is a triumph.; int1 & sent6 -> int2: the fact that the pannikin is not a slant and is not a triumph is not correct.; int2 & sent2 -> int3: the orphrey does not shaft.; int3 & sent3 -> int4: the fact that the wader is a kind of a shaft and/or it is bottom-up does not hold.; int4 -> int5: there exists something such that that it is a shaft or it is bottom-up or both is not right.; int5 & sent5 -> int6: the sender does not ratchet Secession.; sent4 -> int7: if the sender does not ratchet Secession it is not a limbed.; int6 & int7 -> hypothesis; __DISPROVED__