the fact that the molding is binaural if the basting is a minuscule is not correct.
sent1: something is a kind of a minuscule and it bones left-handedness. sent2: the molding does not bone left-handedness. sent3: the absinth is binaural. sent4: something is binaural if it does bone left-handedness. sent5: that the molding is a kind of a ammoniac is right if there exists something such that it is a minuscule and does not bone left-handedness. sent6: the molding is not a minuscule if the basting does bone left-handedness. sent7: if something that does not bone left-handedness is not ammoniac then the aluminum is a vestryman. sent8: if that something does not bone left-handedness and is not a ammoniac is not correct then the fact that it is binaural is right. sent9: the absinth is a vestryman and is not mandibular if the aluminum is a vestryman. sent10: that the molding does bone left-handedness and is not a ammoniac is not right. sent11: the fact that the molding is a kind of a vestryman is true if something is not a ammoniac and it is not binaural. sent12: something is a kind of a bash and it is christian. sent13: if something that is a kind of a vestryman is not mandibular then the basting is not minuscule.
void -> assump1: Let's assume that the molding does not bone left-handedness and it is not ammoniac.; assump1 -> int1: there exists something such that it does not bone left-handedness and it is not a kind of a ammoniac.; int1 & sent7 -> int2: the aluminum is a vestryman.; int2 & sent9 -> int3: the absinth is both a vestryman and not mandibular.; int3 -> int4: there is something such that it is a kind of a vestryman and it is not mandibular.; int4 & sent13 -> int5: the basting is not a kind of a minuscule.; void -> assump2: Let's assume that the basting is a minuscule.; int5 & assump2 -> int6: this is contradiction.; [assump1] & int6 -> int7: the fact that the molding does not bone left-handedness and is non-ammoniac is not right.; sent8 -> int8: the molding is binaural if that it does not bone left-handedness and it is not a ammoniac is not correct.; int7 & int8 -> int9: the molding is binaural.; [assump2] & int9 -> hypothesis;
$hypothesis$ = the fact that the molding is binaural if the basting is a minuscule is not correct. ; $context$ = sent1: something is a kind of a minuscule and it bones left-handedness. sent2: the molding does not bone left-handedness. sent3: the absinth is binaural. sent4: something is binaural if it does bone left-handedness. sent5: that the molding is a kind of a ammoniac is right if there exists something such that it is a minuscule and does not bone left-handedness. sent6: the molding is not a minuscule if the basting does bone left-handedness. sent7: if something that does not bone left-handedness is not ammoniac then the aluminum is a vestryman. sent8: if that something does not bone left-handedness and is not a ammoniac is not correct then the fact that it is binaural is right. sent9: the absinth is a vestryman and is not mandibular if the aluminum is a vestryman. sent10: that the molding does bone left-handedness and is not a ammoniac is not right. sent11: the fact that the molding is a kind of a vestryman is true if something is not a ammoniac and it is not binaural. sent12: something is a kind of a bash and it is christian. sent13: if something that is a kind of a vestryman is not mandibular then the basting is not minuscule. ; $proof$ = 
void -> assump1: Let's assume that the molding does not bone left-handedness and it is not ammoniac.; assump1 -> int1: there exists something such that it does not bone left-handedness and it is not a kind of a ammoniac.; int1 & sent7 -> int2: the aluminum is a vestryman.; int2 & sent9 -> int3: the absinth is both a vestryman and not mandibular.; int3 -> int4: there is something such that it is a kind of a vestryman and it is not mandibular.; int4 & sent13 -> int5: the basting is not a kind of a minuscule.; void -> assump2: Let's assume that the basting is a minuscule.; int5 & assump2 -> int6: this is contradiction.; [assump1] & int6 -> int7: the fact that the molding does not bone left-handedness and is non-ammoniac is not right.; sent8 -> int8: the molding is binaural if that it does not bone left-handedness and it is not a ammoniac is not correct.; int7 & int8 -> int9: the molding is binaural.; [assump2] & int9 -> hypothesis; __DISPROVED__