the dixie is a kind of an ineffectiveness.
sent1: if the cordage is not an ineffectiveness and it is not thermostatics the dixie is not a kind of an ineffectiveness. sent2: if something does not bumble it does not tool heretic. sent3: the cordage does not snuffle gaminess but it is a kind of a compact. sent4: the dixie is an ineffectiveness if the cordage is numerate. sent5: if the cordage is thermostatics it numerates. sent6: if there exists something such that it does drive and it nails Vidal the achromatin does not bumble. sent7: the dixie does compact. sent8: that the cordage is thermostatics is correct if it does not snuffle gaminess and it compacts. sent9: if the peepshow is not a kind of a puberty but it is a tempest the cordage is not numerate. sent10: the cordage is not a kind of a preventive but it is an ineffectiveness. sent11: the ha-ha is a drive and it nails Vidal. sent12: the cordage is compact.
sent8 & sent3 -> int1: the cordage is thermostatics.; int1 & sent5 -> int2: the cordage numerates.; int2 & sent4 -> hypothesis;
the dixie is not an ineffectiveness.
sent2 -> int3: if the fact that the achromatin does not bumble is not false then it does not tool heretic.; sent11 -> int4: there exists something such that it is a kind of a drive that nails Vidal.; int4 & sent6 -> int5: the fact that the achromatin does not bumble hold.; int3 & int5 -> int6: the achromatin does not tool heretic.; int6 -> int7: there is something such that it does not tool heretic.;
$hypothesis$ = the dixie is a kind of an ineffectiveness. ; $context$ = sent1: if the cordage is not an ineffectiveness and it is not thermostatics the dixie is not a kind of an ineffectiveness. sent2: if something does not bumble it does not tool heretic. sent3: the cordage does not snuffle gaminess but it is a kind of a compact. sent4: the dixie is an ineffectiveness if the cordage is numerate. sent5: if the cordage is thermostatics it numerates. sent6: if there exists something such that it does drive and it nails Vidal the achromatin does not bumble. sent7: the dixie does compact. sent8: that the cordage is thermostatics is correct if it does not snuffle gaminess and it compacts. sent9: if the peepshow is not a kind of a puberty but it is a tempest the cordage is not numerate. sent10: the cordage is not a kind of a preventive but it is an ineffectiveness. sent11: the ha-ha is a drive and it nails Vidal. sent12: the cordage is compact. ; $proof$ = 
sent8 & sent3 -> int1: the cordage is thermostatics.; int1 & sent5 -> int2: the cordage numerates.; int2 & sent4 -> hypothesis; __PROVED__