the fact that the cittern is a kind of a tense hold.
sent1: the fact that something desexualizes tangency and is not a kind of a inessential is not correct if it does not desexualize varix. sent2: the alizarin does mound have. sent3: if a tense desexualizes tangency then the alizarin is a spatter. sent4: if there exists something such that that it is not a broil and it is not a inessential is incorrect the alizarin is a kind of a inessential. sent5: if the alizarin mounds have that it broils and it does not desexualize varix does not hold. sent6: the fact that the bitmap is a kind of a broil hold if the fact that the tangency does not mound have and it does not broil does not hold. sent7: something tenses if the fact that it does not tenses and it is not a kind of a spatter is wrong. sent8: if the bitmap is a broil then the alizarin does not desexualize varix. sent9: The tangency desexualizes cittern. sent10: if something that does not desexualize tangency is not inessential then it is non-tense. sent11: something does not desexualize tangency if that it desexualize tangency and it is not a inessential does not hold. sent12: the cittern desexualizes tangency. sent13: that the bitmap is not a broil but essential is not true. sent14: something is not a spatter if it is a inessential.
void -> assump1: Let's assume that that the cittern is tense is right.; assump1 & sent12 -> int1: the fact that the cittern is tense and it does desexualize tangency is correct.; int1 -> int2: something is tense and does desexualize tangency.; int2 & sent3 -> int3: the alizarin is a kind of a spatter.; sent14 -> int4: if the alizarin is a inessential then it is not a spatter.; sent13 -> int5: there exists something such that the fact that it is both not a broil and not a inessential does not hold.; int5 & sent4 -> int6: the alizarin is a kind of a inessential.; int4 & int6 -> int7: the alizarin is not a kind of a spatter.; int3 & int7 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis;
the fact that the cittern is both not a spatter and not a redheaded does not hold.
sent10 -> int9: that the alizarin is not a tense is correct if it does not desexualize tangency and it is not a inessential.; sent5 & sent2 -> int10: the fact that the alizarin is a broil and does not desexualize varix does not hold.;
$hypothesis$ = the fact that the cittern is a kind of a tense hold. ; $context$ = sent1: the fact that something desexualizes tangency and is not a kind of a inessential is not correct if it does not desexualize varix. sent2: the alizarin does mound have. sent3: if a tense desexualizes tangency then the alizarin is a spatter. sent4: if there exists something such that that it is not a broil and it is not a inessential is incorrect the alizarin is a kind of a inessential. sent5: if the alizarin mounds have that it broils and it does not desexualize varix does not hold. sent6: the fact that the bitmap is a kind of a broil hold if the fact that the tangency does not mound have and it does not broil does not hold. sent7: something tenses if the fact that it does not tenses and it is not a kind of a spatter is wrong. sent8: if the bitmap is a broil then the alizarin does not desexualize varix. sent9: The tangency desexualizes cittern. sent10: if something that does not desexualize tangency is not inessential then it is non-tense. sent11: something does not desexualize tangency if that it desexualize tangency and it is not a inessential does not hold. sent12: the cittern desexualizes tangency. sent13: that the bitmap is not a broil but essential is not true. sent14: something is not a spatter if it is a inessential. ; $proof$ = 
void -> assump1: Let's assume that that the cittern is tense is right.; assump1 & sent12 -> int1: the fact that the cittern is tense and it does desexualize tangency is correct.; int1 -> int2: something is tense and does desexualize tangency.; int2 & sent3 -> int3: the alizarin is a kind of a spatter.; sent14 -> int4: if the alizarin is a inessential then it is not a spatter.; sent13 -> int5: there exists something such that the fact that it is both not a broil and not a inessential does not hold.; int5 & sent4 -> int6: the alizarin is a kind of a inessential.; int4 & int6 -> int7: the alizarin is not a kind of a spatter.; int3 & int7 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis; __DISPROVED__