the decoration is not phonetics.
sent1: something is phonetics if it is a Citation. sent2: if the fact that the transept either is not an essayist or is not a satiation or both is incorrect then the veld is not a kind of an essayist. sent3: the zidovudine is a kind of a Assamese if the allegorizer is an essayist. sent4: if the transept is not a satiation that the decoration is a Citation is correct. sent5: something is both a kerchief and Bangladeshi if it is not a Citation. sent6: the fact that the allegorizer is both Assamese and not an essayist does not hold if it is not a kind of a wormwood. sent7: something is a kerchief if it is a Assamese. sent8: if the fact that the allegorizer is a kind of Assamese thing that is not a kind of an essayist is wrong the fact that the zidovudine is a Assamese is true. sent9: if the transept is a kind of a satiation then it is incredulous. sent10: the zidovudine is not a kerchief if that the veld is incredulous or it is not a kind of a Bangladeshi or both is wrong. sent11: the allegorizer is not a wormwood. sent12: if that either the veld is incredulous or it is a kind of a Bangladeshi or both is wrong the zidovudine is not a kerchief. sent13: that the veld is incredulous and/or it is not a Bangladeshi is false if the transept is incredulous.
void -> assump1: Let's assume that the transept is a satiation.; sent9 & assump1 -> int1: that the transept is incredulous is not wrong.; int1 & sent13 -> int2: that that either the veld is incredulous or it is not a kind of a Bangladeshi or both is not false is incorrect.; int2 & sent10 -> int3: the zidovudine is not a kerchief.; sent7 -> int4: if the zidovudine is Assamese then it is a kerchief.; sent6 & sent11 -> int5: the fact that the allegorizer is a Assamese and is not a kind of an essayist is wrong.; sent8 & int5 -> int6: the zidovudine is a Assamese.; int4 & int6 -> int7: the zidovudine is a kind of a kerchief.; int3 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the transept is not a satiation.; int9 & sent4 -> int10: the decoration is a Citation.; sent1 -> int11: the decoration is phonetics if it is a kind of a Citation.; int10 & int11 -> hypothesis;
the veld is not an essayist.
$hypothesis$ = the decoration is not phonetics. ; $context$ = sent1: something is phonetics if it is a Citation. sent2: if the fact that the transept either is not an essayist or is not a satiation or both is incorrect then the veld is not a kind of an essayist. sent3: the zidovudine is a kind of a Assamese if the allegorizer is an essayist. sent4: if the transept is not a satiation that the decoration is a Citation is correct. sent5: something is both a kerchief and Bangladeshi if it is not a Citation. sent6: the fact that the allegorizer is both Assamese and not an essayist does not hold if it is not a kind of a wormwood. sent7: something is a kerchief if it is a Assamese. sent8: if the fact that the allegorizer is a kind of Assamese thing that is not a kind of an essayist is wrong the fact that the zidovudine is a Assamese is true. sent9: if the transept is a kind of a satiation then it is incredulous. sent10: the zidovudine is not a kerchief if that the veld is incredulous or it is not a kind of a Bangladeshi or both is wrong. sent11: the allegorizer is not a wormwood. sent12: if that either the veld is incredulous or it is a kind of a Bangladeshi or both is wrong the zidovudine is not a kerchief. sent13: that the veld is incredulous and/or it is not a Bangladeshi is false if the transept is incredulous. ; $proof$ = 
void -> assump1: Let's assume that the transept is a satiation.; sent9 & assump1 -> int1: that the transept is incredulous is not wrong.; int1 & sent13 -> int2: that that either the veld is incredulous or it is not a kind of a Bangladeshi or both is not false is incorrect.; int2 & sent10 -> int3: the zidovudine is not a kerchief.; sent7 -> int4: if the zidovudine is Assamese then it is a kerchief.; sent6 & sent11 -> int5: the fact that the allegorizer is a Assamese and is not a kind of an essayist is wrong.; sent8 & int5 -> int6: the zidovudine is a Assamese.; int4 & int6 -> int7: the zidovudine is a kind of a kerchief.; int3 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the transept is not a satiation.; int9 & sent4 -> int10: the decoration is a Citation.; sent1 -> int11: the decoration is phonetics if it is a kind of a Citation.; int10 & int11 -> hypothesis; __DISPROVED__