that the albino is not a kind of a blank and is not a kind of a sou'-sou'-east does not hold.
sent1: the sickbay does not confine if the hoodoo does not confine and it does not veneer. sent2: if the hoodoo is not an approach the cafe does veneer. sent3: something does approach if the fact that the fact that it does veneer and it is not an approach hold is not true. sent4: if the airbrake cultures Mace and it is a Durkheim then the cafe does not confine. sent5: something does not blank if the fact that it is botryoid thing that does not index scrappiness is not true. sent6: that the albino is not a blank and is not a sou'-sou'-east is not true if that the hypo does not blank hold. sent7: the hoodoo is not an approach if something that is botryoid does not index scrappiness. sent8: the airbrake does culture Mace and is a Durkheim. sent9: if something is an approach then it does not blank and is not a sou'-sou'-east. sent10: something that does not confine is not a veneer. sent11: if something is not a Durkheim then it does not blank.
void -> assump1: Let's assume that the hypo is botryoid and does not index scrappiness.; assump1 -> int1: there exists something such that it is botryoid and does not index scrappiness.; int1 & sent7 -> int2: the hoodoo is not an approach.; int2 & sent2 -> int3: the cafe veneers.; sent10 -> int4: if the cafe does not confine it does not veneer.; sent4 & sent8 -> int5: the cafe does not confine.; int4 & int5 -> int6: the cafe is not a kind of a veneer.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: that the hypo is botryoid but it does not index scrappiness does not hold.; sent5 -> int9: the hypo is not a kind of a blank if that it is a kind of botryoid thing that does not index scrappiness is not true.; int8 & int9 -> int10: the hypo does not blank.; int10 & sent6 -> hypothesis;
the albino is not a blank and is not a kind of a sou'-sou'-east.
sent9 -> int11: the albino is not a blank and it is not a sou'-sou'-east if it approaches.; sent3 -> int12: if that the albino is a kind of a veneer that is not an approach is not right that it is an approach is right.;
$hypothesis$ = that the albino is not a kind of a blank and is not a kind of a sou'-sou'-east does not hold. ; $context$ = sent1: the sickbay does not confine if the hoodoo does not confine and it does not veneer. sent2: if the hoodoo is not an approach the cafe does veneer. sent3: something does approach if the fact that the fact that it does veneer and it is not an approach hold is not true. sent4: if the airbrake cultures Mace and it is a Durkheim then the cafe does not confine. sent5: something does not blank if the fact that it is botryoid thing that does not index scrappiness is not true. sent6: that the albino is not a blank and is not a sou'-sou'-east is not true if that the hypo does not blank hold. sent7: the hoodoo is not an approach if something that is botryoid does not index scrappiness. sent8: the airbrake does culture Mace and is a Durkheim. sent9: if something is an approach then it does not blank and is not a sou'-sou'-east. sent10: something that does not confine is not a veneer. sent11: if something is not a Durkheim then it does not blank. ; $proof$ = 
void -> assump1: Let's assume that the hypo is botryoid and does not index scrappiness.; assump1 -> int1: there exists something such that it is botryoid and does not index scrappiness.; int1 & sent7 -> int2: the hoodoo is not an approach.; int2 & sent2 -> int3: the cafe veneers.; sent10 -> int4: if the cafe does not confine it does not veneer.; sent4 & sent8 -> int5: the cafe does not confine.; int4 & int5 -> int6: the cafe is not a kind of a veneer.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: that the hypo is botryoid but it does not index scrappiness does not hold.; sent5 -> int9: the hypo is not a kind of a blank if that it is a kind of botryoid thing that does not index scrappiness is not true.; int8 & int9 -> int10: the hypo does not blank.; int10 & sent6 -> hypothesis; __PROVED__