the leatherette is a kind of a ready and it does total.
sent1: there is nothing such that it is a carol and does magnetize Cyperus. sent2: the surbase carols and does not magnetize Cyperus if the dirt is mousy. sent3: the fact that the henna counterweights and it is a kind of a mixed-blood is false. sent4: that the stoma does total and does carol is not true if the surbase is not a carol. sent5: if the henna is a kind of a mixed-blood then the stoma does not total. sent6: if the fact that the dirt does abjure field and does not counterweight is not true then the digoxin is not mousy. sent7: if the fact that the leatherette is not mousy is not wrong the fact that that the dirt does total and is mousy is not incorrect is not true. sent8: if something does abjure field it is a counterweight. sent9: if the henna is non-mousy the dirt is a mixed-blood. sent10: the digoxin is a simian. sent11: if the digoxin is a kind of a counterweight that the henna is a counterweight but it is not a mixed-blood is false. sent12: the fact that the leatherette is a kind of a ready and it totals does not hold if the stoma does not totals. sent13: there exists nothing such that it is a carol and it does not magnetize Cyperus. sent14: the digoxin is a ready. sent15: if the digoxin is a counterweight that the henna is both a counterweight and a mixed-blood does not hold. sent16: the surbase does not magnetize Cyperus. sent17: the stoma does not total if the fact that the henna counterweights and is not a kind of a mixed-blood does not hold. sent18: if the dirt is mousy the surbase does not magnetize Cyperus. sent19: the dirt does not magnetize Cyperus. sent20: there is nothing such that it does abjure field and does not total. sent21: if the henna does magnetize Cyperus then it does counterweight. sent22: that the surbase does carol and magnetizes Cyperus is not correct. sent23: the digoxin abjures field if the fact that the dirt is not mousy hold.
void -> assump1: Let's assume that the dirt is mousy.; sent2 & assump1 -> int1: the surbase is a carol and does not magnetize Cyperus.; sent13 -> int2: that the surbase is a carol and does not magnetize Cyperus is wrong.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the dirt is not mousy.; int4 & sent23 -> int5: the digoxin does abjure field.; sent8 -> int6: the digoxin is a counterweight if it does abjure field.; int5 & int6 -> int7: the digoxin is a kind of a counterweight.; int7 & sent11 -> int8: that the henna does counterweight but it is not a mixed-blood is false.; int8 & sent17 -> int9: the stoma does not total.; int9 & sent12 -> hypothesis;
$hypothesis$ = the leatherette is a kind of a ready and it does total. ; $context$ = sent1: there is nothing such that it is a carol and does magnetize Cyperus. sent2: the surbase carols and does not magnetize Cyperus if the dirt is mousy. sent3: the fact that the henna counterweights and it is a kind of a mixed-blood is false. sent4: that the stoma does total and does carol is not true if the surbase is not a carol. sent5: if the henna is a kind of a mixed-blood then the stoma does not total. sent6: if the fact that the dirt does abjure field and does not counterweight is not true then the digoxin is not mousy. sent7: if the fact that the leatherette is not mousy is not wrong the fact that that the dirt does total and is mousy is not incorrect is not true. sent8: if something does abjure field it is a counterweight. sent9: if the henna is non-mousy the dirt is a mixed-blood. sent10: the digoxin is a simian. sent11: if the digoxin is a kind of a counterweight that the henna is a counterweight but it is not a mixed-blood is false. sent12: the fact that the leatherette is a kind of a ready and it totals does not hold if the stoma does not totals. sent13: there exists nothing such that it is a carol and it does not magnetize Cyperus. sent14: the digoxin is a ready. sent15: if the digoxin is a counterweight that the henna is both a counterweight and a mixed-blood does not hold. sent16: the surbase does not magnetize Cyperus. sent17: the stoma does not total if the fact that the henna counterweights and is not a kind of a mixed-blood does not hold. sent18: if the dirt is mousy the surbase does not magnetize Cyperus. sent19: the dirt does not magnetize Cyperus. sent20: there is nothing such that it does abjure field and does not total. sent21: if the henna does magnetize Cyperus then it does counterweight. sent22: that the surbase does carol and magnetizes Cyperus is not correct. sent23: the digoxin abjures field if the fact that the dirt is not mousy hold. ; $proof$ = 
void -> assump1: Let's assume that the dirt is mousy.; sent2 & assump1 -> int1: the surbase is a carol and does not magnetize Cyperus.; sent13 -> int2: that the surbase is a carol and does not magnetize Cyperus is wrong.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the dirt is not mousy.; int4 & sent23 -> int5: the digoxin does abjure field.; sent8 -> int6: the digoxin is a counterweight if it does abjure field.; int5 & int6 -> int7: the digoxin is a kind of a counterweight.; int7 & sent11 -> int8: that the henna does counterweight but it is not a mixed-blood is false.; int8 & sent17 -> int9: the stoma does not total.; int9 & sent12 -> hypothesis; __DISPROVED__