the gumbo-limbo is not Albigensian.
sent1: the Bhutanese snafus. sent2: if the Bhutanese is nonlexical then the gumbo-limbo is not non-Albigensian. sent3: the fact that something does not snafu and it is not a kind of a flicker is not true if it is not nonlexical. sent4: the Bhutanese is a kind of a snafu that is nonlexical if the cookie is not a kind of a snafu. sent5: if the cookie snafus then the lantana is a flicker. sent6: if the cookie does not snafu the Bhutanese is a kind of a snafu. sent7: the lantana does not redeploy limiter. sent8: if that the lantana does not jet ply and is nonlexical is wrong the cookie is not nonlexical. sent9: the lantana does not redeploy limiter and does not flicker. sent10: that the cookie is a flicker is true.
void -> assump1: Let's assume that the cookie is a snafu.; sent5 & assump1 -> int1: the lantana flickers.; sent9 -> int2: the lantana does not flicker.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the cookie does not snafu.; int4 & sent4 -> int5: the Bhutanese is a kind of a snafu and it is nonlexical.; int5 -> int6: the Bhutanese is nonlexical.; int6 & sent2 -> hypothesis;
the gumbo-limbo is not Albigensian.
sent3 -> int7: that the cookie is not a snafu and is not a flicker does not hold if that it is not nonlexical is not false.;
$hypothesis$ = the gumbo-limbo is not Albigensian. ; $context$ = sent1: the Bhutanese snafus. sent2: if the Bhutanese is nonlexical then the gumbo-limbo is not non-Albigensian. sent3: the fact that something does not snafu and it is not a kind of a flicker is not true if it is not nonlexical. sent4: the Bhutanese is a kind of a snafu that is nonlexical if the cookie is not a kind of a snafu. sent5: if the cookie snafus then the lantana is a flicker. sent6: if the cookie does not snafu the Bhutanese is a kind of a snafu. sent7: the lantana does not redeploy limiter. sent8: if that the lantana does not jet ply and is nonlexical is wrong the cookie is not nonlexical. sent9: the lantana does not redeploy limiter and does not flicker. sent10: that the cookie is a flicker is true. ; $proof$ = 
void -> assump1: Let's assume that the cookie is a snafu.; sent5 & assump1 -> int1: the lantana flickers.; sent9 -> int2: the lantana does not flicker.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the cookie does not snafu.; int4 & sent4 -> int5: the Bhutanese is a kind of a snafu and it is nonlexical.; int5 -> int6: the Bhutanese is nonlexical.; int6 & sent2 -> hypothesis; __DISPROVED__