the sump is a viscometer.
sent1: if a Doppler does not subdivide shirtdress it is not schismatic. sent2: the shocker is an epicenter. sent3: if the murre is not schismatic then the fact that the Filipino is not pyrogallic and is not indexless is not true. sent4: if something that is not addictive is drupaceous then it is not a viscometer. sent5: something is an epicenter and/or is a kind of a three-dimensionality. sent6: something is a Doppler but it does not subdivide shirtdress if it is a merozoite. sent7: the murre is a kind of a merozoite if the Zimbabwean is a merozoite. sent8: the blusher is pretentious. sent9: the blusher is drupaceous if it is pretentious. sent10: if there is something such that it is not a kind of an epicenter or is a three-dimensionality or both the blusher is not drupaceous. sent11: something does act and it does space thievishness if it is not addictive. sent12: if the sump does space thievishness then it is a viscometer. sent13: the sump does not space thievishness and it is not an act if the fact that the blusher is not pretentious is correct. sent14: if something does space Catostomus or it does not praise or both that it is pretentious hold. sent15: the licentiate does not interpret ribonuclease. sent16: the shocker is an epicenter and/or it is a kind of a three-dimensionality. sent17: something either does space Catostomus or is not a kind of a praise or both if it is pyrogallic. sent18: the Zimbabwean does subdivide Dayton and/or it is a kind of a merozoite if the licentiate does not interpret ribonuclease. sent19: if there exists something such that the fact that it is not an epicenter and/or it is a three-dimensionality is not right then the sump is not addictive. sent20: the murre is a merozoite if the Zimbabwean subdivides Dayton. sent21: the blusher is not drupaceous if something is not a kind of an epicenter. sent22: if that either the kinsman joints or it is pretentious or both hold then that the blusher is not pretentious is right. sent23: either the shocker does not grandstand or it does dun century or both.
void -> assump1: Let's assume that the shocker is not a kind of an epicenter and/or it is a three-dimensionality.; assump1 -> int1: there exists something such that it is not an epicenter and/or it is a kind of a three-dimensionality.; int1 & sent10 -> int2: the blusher is not drupaceous.; sent9 & sent8 -> int3: the blusher is drupaceous.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that the fact that either the shocker is not an epicenter or it is a kind of a three-dimensionality or both is wrong hold.; int5 -> int6: there is something such that the fact that it is not an epicenter and/or it is a three-dimensionality is not right.; int6 & sent19 -> int7: the sump is not addictive.; sent11 -> int8: if the sump is not addictive then it does act and does space thievishness.; int7 & int8 -> int9: the sump is an act and spaces thievishness.; int9 -> int10: the sump spaces thievishness.; int10 & sent12 -> hypothesis;
the sump is not a kind of a viscometer.
sent4 -> int11: if the sump is a kind of nonaddictive thing that is drupaceous then it is not a viscometer.; sent14 -> int12: the kinsman is pretentious if it does space Catostomus or it does not praise or both.; sent17 -> int13: if the kinsman is pyrogallic it does space Catostomus and/or it is not a praise.; sent1 -> int14: if the murre is a kind of a Doppler but it does not subdivide shirtdress then it is not schismatic.; sent6 -> int15: if the murre is a merozoite it is a Doppler and does not subdivide shirtdress.; sent18 & sent15 -> int16: the Zimbabwean subdivides Dayton or it is a merozoite or both.; int16 & sent20 & sent7 -> int17: that the murre is a kind of a merozoite is not incorrect.; int15 & int17 -> int18: the murre is a Doppler but it does not subdivide shirtdress.; int14 & int18 -> int19: the murre is non-schismatic.; sent3 & int19 -> int20: the fact that the Filipino is not pyrogallic and is not indexless is false.; int20 -> int21: there exists something such that the fact that it is non-pyrogallic and non-indexless does not hold.;
$hypothesis$ = the sump is a viscometer. ; $context$ = sent1: if a Doppler does not subdivide shirtdress it is not schismatic. sent2: the shocker is an epicenter. sent3: if the murre is not schismatic then the fact that the Filipino is not pyrogallic and is not indexless is not true. sent4: if something that is not addictive is drupaceous then it is not a viscometer. sent5: something is an epicenter and/or is a kind of a three-dimensionality. sent6: something is a Doppler but it does not subdivide shirtdress if it is a merozoite. sent7: the murre is a kind of a merozoite if the Zimbabwean is a merozoite. sent8: the blusher is pretentious. sent9: the blusher is drupaceous if it is pretentious. sent10: if there is something such that it is not a kind of an epicenter or is a three-dimensionality or both the blusher is not drupaceous. sent11: something does act and it does space thievishness if it is not addictive. sent12: if the sump does space thievishness then it is a viscometer. sent13: the sump does not space thievishness and it is not an act if the fact that the blusher is not pretentious is correct. sent14: if something does space Catostomus or it does not praise or both that it is pretentious hold. sent15: the licentiate does not interpret ribonuclease. sent16: the shocker is an epicenter and/or it is a kind of a three-dimensionality. sent17: something either does space Catostomus or is not a kind of a praise or both if it is pyrogallic. sent18: the Zimbabwean does subdivide Dayton and/or it is a kind of a merozoite if the licentiate does not interpret ribonuclease. sent19: if there exists something such that the fact that it is not an epicenter and/or it is a three-dimensionality is not right then the sump is not addictive. sent20: the murre is a merozoite if the Zimbabwean subdivides Dayton. sent21: the blusher is not drupaceous if something is not a kind of an epicenter. sent22: if that either the kinsman joints or it is pretentious or both hold then that the blusher is not pretentious is right. sent23: either the shocker does not grandstand or it does dun century or both. ; $proof$ = 
void -> assump1: Let's assume that the shocker is not a kind of an epicenter and/or it is a three-dimensionality.; assump1 -> int1: there exists something such that it is not an epicenter and/or it is a kind of a three-dimensionality.; int1 & sent10 -> int2: the blusher is not drupaceous.; sent9 & sent8 -> int3: the blusher is drupaceous.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that the fact that either the shocker is not an epicenter or it is a kind of a three-dimensionality or both is wrong hold.; int5 -> int6: there is something such that the fact that it is not an epicenter and/or it is a three-dimensionality is not right.; int6 & sent19 -> int7: the sump is not addictive.; sent11 -> int8: if the sump is not addictive then it does act and does space thievishness.; int7 & int8 -> int9: the sump is an act and spaces thievishness.; int9 -> int10: the sump spaces thievishness.; int10 & sent12 -> hypothesis; __PROVED__