the cobra is a kind of an evil.
sent1: if that something is a cysteine and it does squeegee chordamesoderm is wrong it is not a cysteine. sent2: the piping is a passive and is a kind of a Thai. sent3: that the embryologist is not tubal is not incorrect. sent4: if the embryologist is Thai and it is Corsican then that the bouquet is not Corsican is right. sent5: something that is a kind of a Walesa that is a kind of an evil is not a discussant. sent6: the cobra is not a kind of a cysteine but it is hypnotic if it does squeegee chordamesoderm. sent7: if the embryologist is not tubal it is Corsican and is defiant. sent8: the fact that something is not evil and it is not a discussant does not hold if it is not a Walesa. sent9: the cobra is a Walesa. sent10: something that squeegees chordamesoderm and is a Walesa is not a cysteine. sent11: the cobra squeegees chordamesoderm. sent12: the gunpowder is a kind of an evil if the fact that the cobra is not a kind of an evil and it is not a kind of a discussant is wrong. sent13: The chordamesoderm squeegees cobra. sent14: something is a discussant if it is not a cysteine and is hypnotic. sent15: the cobra is not a cysteine if the bouquet is not a cysteine. sent16: the fact that something is a cysteine and it does squeegee chordamesoderm does not hold if it is not Corsican. sent17: something is evil if it does not squeegee chordamesoderm and it is a cysteine. sent18: if the piping is a kind of a Thai then the embryologist is a Thai. sent19: if the cobra does squeegee chordamesoderm then it is not a cysteine.
void -> assump1: Let's assume that the cobra is evil.; sent9 & assump1 -> int1: the cobra is a Walesa and it is an evil.; sent5 -> int2: the cobra is not a discussant if it is a kind of a Walesa and it is a kind of an evil.; int1 & int2 -> int3: the cobra is not a discussant.; sent14 -> int4: the cobra is a discussant if it is not a cysteine and is hypnotic.; sent6 & sent11 -> int5: the cobra is not a cysteine but hypnotic.; int4 & int5 -> int6: the cobra is a discussant.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
the gunpowder is an evil.
sent8 -> int8: the fact that the cobra is not evil and not a discussant is not true if it is not a kind of a Walesa.; sent1 -> int9: if the fact that the bouquet is a cysteine and it squeegees chordamesoderm is false then it is not a cysteine.; sent16 -> int10: if the bouquet is not Corsican that it is a kind of a cysteine that squeegees chordamesoderm is incorrect.; sent2 -> int11: the piping is a Thai.; sent18 & int11 -> int12: the fact that the embryologist is Thai is right.; sent7 & sent3 -> int13: the embryologist is both Corsican and not non-defiant.; int13 -> int14: the embryologist is Corsican.; int12 & int14 -> int15: the embryologist is Thai and it is Corsican.; sent4 & int15 -> int16: the bouquet is not Corsican.; int10 & int16 -> int17: the fact that the bouquet is a cysteine that squeegees chordamesoderm is wrong.; int9 & int17 -> int18: the bouquet is not a cysteine.; sent15 & int18 -> int19: the cobra is not a cysteine.;
$hypothesis$ = the cobra is a kind of an evil. ; $context$ = sent1: if that something is a cysteine and it does squeegee chordamesoderm is wrong it is not a cysteine. sent2: the piping is a passive and is a kind of a Thai. sent3: that the embryologist is not tubal is not incorrect. sent4: if the embryologist is Thai and it is Corsican then that the bouquet is not Corsican is right. sent5: something that is a kind of a Walesa that is a kind of an evil is not a discussant. sent6: the cobra is not a kind of a cysteine but it is hypnotic if it does squeegee chordamesoderm. sent7: if the embryologist is not tubal it is Corsican and is defiant. sent8: the fact that something is not evil and it is not a discussant does not hold if it is not a Walesa. sent9: the cobra is a Walesa. sent10: something that squeegees chordamesoderm and is a Walesa is not a cysteine. sent11: the cobra squeegees chordamesoderm. sent12: the gunpowder is a kind of an evil if the fact that the cobra is not a kind of an evil and it is not a kind of a discussant is wrong. sent13: The chordamesoderm squeegees cobra. sent14: something is a discussant if it is not a cysteine and is hypnotic. sent15: the cobra is not a cysteine if the bouquet is not a cysteine. sent16: the fact that something is a cysteine and it does squeegee chordamesoderm does not hold if it is not Corsican. sent17: something is evil if it does not squeegee chordamesoderm and it is a cysteine. sent18: if the piping is a kind of a Thai then the embryologist is a Thai. sent19: if the cobra does squeegee chordamesoderm then it is not a cysteine. ; $proof$ = 
void -> assump1: Let's assume that the cobra is evil.; sent9 & assump1 -> int1: the cobra is a Walesa and it is an evil.; sent5 -> int2: the cobra is not a discussant if it is a kind of a Walesa and it is a kind of an evil.; int1 & int2 -> int3: the cobra is not a discussant.; sent14 -> int4: the cobra is a discussant if it is not a cysteine and is hypnotic.; sent6 & sent11 -> int5: the cobra is not a cysteine but hypnotic.; int4 & int5 -> int6: the cobra is a discussant.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __DISPROVED__