that the protohippus does not outflank pronghorn and does not marble does not hold.
sent1: there exists something such that it is mousy. sent2: if something is a kind of a material that the silicide is both a Auchincloss and not carinal is false. sent3: the Nestorian is a sight. sent4: if the protohippus is a foundering the silicide is a kind of a sight. sent5: the protohippus does not outflank pronghorn. sent6: the butyl is material. sent7: if the butyl is mousy it is palingenetic. sent8: the butyl is not palingenetic if there is something such that the fact that it is not a sight and/or is a foundering is false. sent9: if the butyl is a kind of a marbles it is a Auchincloss. sent10: there is something such that it is not a sight or it does founder or both. sent11: if the protohippus is a foundering then that the silicide is not a sight and/or does foundering does not hold. sent12: that something does not outflank pronghorn and is not a marbles is incorrect if it is palingenetic. sent13: that if the butyl is the Auchincloss the butyl is mousy is not wrong. sent14: if that the protohippus does not outflank pronghorn and it does not marble is wrong it is a kind of a foundering. sent15: the butyl is a Auchincloss. sent16: something is a sight. sent17: the silicide is a sight. sent18: the protohippus is a kind of a foundering if it outflanks pronghorn. sent19: there exists something such that that it is a sight or a foundering or both does not hold. sent20: the fact that the protohippus outflanks pronghorn but it is not a marbles is not true. sent21: if that something is a Auchincloss that is not carinal is incorrect then it is a kind of a sight. sent22: something is not a foundering. sent23: the segregator is not a kind of a marriage and does not outflank pronghorn.
void -> assump1: Let's assume that the fact that the fact that the protohippus does not outflank pronghorn and is not a marbles is not correct is right.; sent14 & assump1 -> int1: that the protohippus is a foundering is not false.; int1 & sent11 -> int2: the fact that the silicide either is not a sight or is a kind of a foundering or both is wrong.; int2 -> int3: there is something such that that either it is not a kind of a sight or it does founder or both is false.; int3 & sent8 -> int4: the butyl is not palingenetic.; sent13 & sent15 -> int5: the butyl is mousy.; sent7 & int5 -> int6: the butyl is palingenetic.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
that the protohippus does not outflank pronghorn and is not a kind of a marbles is not right.
sent12 -> int8: if the protohippus is palingenetic then that it does not outflank pronghorn and it does not marble is incorrect.; sent21 -> int9: if the fact that the silicide is a kind of a Auchincloss but it is not carinal is false it does sight.; sent6 -> int10: there is something such that it is material.; int10 & sent2 -> int11: the fact that the silicide is a Auchincloss but it is not carinal is not right.; int9 & int11 -> int12: the silicide is a sight.;
$hypothesis$ = that the protohippus does not outflank pronghorn and does not marble does not hold. ; $context$ = sent1: there exists something such that it is mousy. sent2: if something is a kind of a material that the silicide is both a Auchincloss and not carinal is false. sent3: the Nestorian is a sight. sent4: if the protohippus is a foundering the silicide is a kind of a sight. sent5: the protohippus does not outflank pronghorn. sent6: the butyl is material. sent7: if the butyl is mousy it is palingenetic. sent8: the butyl is not palingenetic if there is something such that the fact that it is not a sight and/or is a foundering is false. sent9: if the butyl is a kind of a marbles it is a Auchincloss. sent10: there is something such that it is not a sight or it does founder or both. sent11: if the protohippus is a foundering then that the silicide is not a sight and/or does foundering does not hold. sent12: that something does not outflank pronghorn and is not a marbles is incorrect if it is palingenetic. sent13: that if the butyl is the Auchincloss the butyl is mousy is not wrong. sent14: if that the protohippus does not outflank pronghorn and it does not marble is wrong it is a kind of a foundering. sent15: the butyl is a Auchincloss. sent16: something is a sight. sent17: the silicide is a sight. sent18: the protohippus is a kind of a foundering if it outflanks pronghorn. sent19: there exists something such that that it is a sight or a foundering or both does not hold. sent20: the fact that the protohippus outflanks pronghorn but it is not a marbles is not true. sent21: if that something is a Auchincloss that is not carinal is incorrect then it is a kind of a sight. sent22: something is not a foundering. sent23: the segregator is not a kind of a marriage and does not outflank pronghorn. ; $proof$ = 
void -> assump1: Let's assume that the fact that the fact that the protohippus does not outflank pronghorn and is not a marbles is not correct is right.; sent14 & assump1 -> int1: that the protohippus is a foundering is not false.; int1 & sent11 -> int2: the fact that the silicide either is not a sight or is a kind of a foundering or both is wrong.; int2 -> int3: there is something such that that either it is not a kind of a sight or it does founder or both is false.; int3 & sent8 -> int4: the butyl is not palingenetic.; sent13 & sent15 -> int5: the butyl is mousy.; sent7 & int5 -> int6: the butyl is palingenetic.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __DISPROVED__