that the mudder is not a kind of a consummation but it sparkles acetylene is not correct.
sent1: something is a kind of non-epizoic a nymphalid if it is diligent. sent2: something is medieval. sent3: if that the Hungarian is a kind of a latrine but it is not a quack is not true then the dragoon is not a Ailuropodidae. sent4: that the psychophysicist is not a kind of a Dasypus and is a shadflower is not right if something is not a Ailuropodidae. sent5: the psychophysicist is not a kind of a consummation. sent6: if that the lectern is achondroplastic hold that the Hungarian is both a latrine and not a quack is incorrect. sent7: if something is not a Dasypus then the mudder is not a consummation but it does sparkle acetylene. sent8: that the fact that something is not a consummation and does sparkle acetylene is true does not hold if it is not medieval. sent9: the psychophysicist is not a kind of a consummation if something that does not sparkle acetylene is a Dasypus. sent10: the psychophysicist is not epizoic if the fact that it is not a Dasypus and it is a shadflower is not right. sent11: if there is something such that the fact that it is not epizoic and it is a kind of a nymphalid is right the psychophysicist is not a Dasypus. sent12: the cereal is not a consummation but a nymphalid. sent13: if there exists something such that it is medieval the cereal is diligent. sent14: something does not whirl juice. sent15: the fact that something does sparkle acetylene hold. sent16: the lectern is achondroplastic.
sent2 & sent13 -> int1: the cereal is diligent.; sent1 -> int2: if the cereal is diligent then it is not epizoic and it is a nymphalid.; int1 & int2 -> int3: that the cereal is not epizoic but a nymphalid is right.; int3 -> int4: something is a kind of non-epizoic thing that is a nymphalid.; int4 & sent11 -> int5: the psychophysicist is not a Dasypus.; int5 -> int6: there exists something such that it is not a Dasypus.; int6 & sent7 -> hypothesis;
the fact that the mudder is not a consummation but it sparkles acetylene does not hold.
sent8 -> int7: that the mudder is not a kind of a consummation but it sparkles acetylene is not true if it is not medieval.; sent6 & sent16 -> int8: the fact that the Hungarian is a latrine but it does not quack is false.; sent3 & int8 -> int9: the dragoon is not a Ailuropodidae.; int9 -> int10: there is something such that it is not a kind of a Ailuropodidae.; int10 & sent4 -> int11: the fact that the psychophysicist is not a Dasypus and is a kind of a shadflower is not right.; sent10 & int11 -> int12: the psychophysicist is not epizoic.; int12 -> int13: something is not epizoic.;
$hypothesis$ = that the mudder is not a kind of a consummation but it sparkles acetylene is not correct. ; $context$ = sent1: something is a kind of non-epizoic a nymphalid if it is diligent. sent2: something is medieval. sent3: if that the Hungarian is a kind of a latrine but it is not a quack is not true then the dragoon is not a Ailuropodidae. sent4: that the psychophysicist is not a kind of a Dasypus and is a shadflower is not right if something is not a Ailuropodidae. sent5: the psychophysicist is not a kind of a consummation. sent6: if that the lectern is achondroplastic hold that the Hungarian is both a latrine and not a quack is incorrect. sent7: if something is not a Dasypus then the mudder is not a consummation but it does sparkle acetylene. sent8: that the fact that something is not a consummation and does sparkle acetylene is true does not hold if it is not medieval. sent9: the psychophysicist is not a kind of a consummation if something that does not sparkle acetylene is a Dasypus. sent10: the psychophysicist is not epizoic if the fact that it is not a Dasypus and it is a shadflower is not right. sent11: if there is something such that the fact that it is not epizoic and it is a kind of a nymphalid is right the psychophysicist is not a Dasypus. sent12: the cereal is not a consummation but a nymphalid. sent13: if there exists something such that it is medieval the cereal is diligent. sent14: something does not whirl juice. sent15: the fact that something does sparkle acetylene hold. sent16: the lectern is achondroplastic. ; $proof$ = 
sent2 & sent13 -> int1: the cereal is diligent.; sent1 -> int2: if the cereal is diligent then it is not epizoic and it is a nymphalid.; int1 & int2 -> int3: that the cereal is not epizoic but a nymphalid is right.; int3 -> int4: something is a kind of non-epizoic thing that is a nymphalid.; int4 & sent11 -> int5: the psychophysicist is not a Dasypus.; int5 -> int6: there exists something such that it is not a Dasypus.; int6 & sent7 -> hypothesis; __DISPROVED__