the fact that the oilcloth is not a dictostylium and not a cellphone is incorrect.
sent1: if that something is not an usher and it is not a kind of a deadness is false it is a shed. sent2: if something either is a kind of a teiid or is not a kind of a shakedown or both then it iterates. sent3: if there is something such that the fact that it iterates is correct then that the fact that the fraxinella is not a kind of a chiaroscuro and/or it is cherty is false is not wrong. sent4: the fraxinella is not cherty. sent5: if the oilcloth is a chiaroscuro then the fraxinella is a chiaroscuro but it does not determine teiid. sent6: there is something such that it is open-hearth. sent7: that the surrenderer does not iterate hold. sent8: there is something such that it does not determine teiid. sent9: if the fact that something is a kind of non-cherty thing that is not a kind of a dictostylium is wrong it iterates. sent10: the fraxinella is a kind of a dictostylium. sent11: the teiid is not shakedown. sent12: there is something such that it is a kind of a chiaroscuro that does determine teiid. sent13: if something determines teiid then the fact that it is not a kind of a dictostylium and it is not a cellphone is not true. sent14: the oilcloth is not cherty and it is not a kind of a cellphone. sent15: the fact that the oilcloth is a kind of a dictostylium hold if that it is not cherty and does not iterate is false. sent16: the surrenderer is not cherty. sent17: the surrenderer does iterate if the teiid is not cherty. sent18: if the fact that something is not a dictostylium and is not a cellphone does not hold it is a chiaroscuro. sent19: if something that is a kind of a dictostylium does not determine teiid then the oilcloth is not cherty. sent20: if that the teiid is a kind of a chiaroscuro is right the oilcloth is a kind of a chiaroscuro that is not cherty. sent21: the teiid is not cherty if there exists something such that it is a chiaroscuro that does not determine teiid.
sent18 -> int1: the oilcloth is a kind of a chiaroscuro if the fact that it is not a dictostylium and it is not a kind of a cellphone does not hold.; void -> assump1: Let's assume that the fact that the oilcloth is not a kind of a dictostylium and it is not a kind of a cellphone is incorrect.; int1 & assump1 -> int2: the oilcloth is a kind of a chiaroscuro.; int2 & sent5 -> int3: the fraxinella is a chiaroscuro but it does not determine teiid.; int3 -> int4: something is a chiaroscuro and does not determine teiid.; int4 & sent21 -> int5: the teiid is non-cherty.; int5 & sent17 -> int6: the fact that the surrenderer iterates hold.; int6 & sent7 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
that the oilcloth is not a dictostylium and is not a kind of a cellphone does not hold.
sent13 -> int8: the fact that the oilcloth is not a dictostylium and it is not a cellphone does not hold if it does determine teiid.; sent2 -> int9: if the teiid is either a teiid or not shakedown or both then it does iterate.; sent11 -> int10: the teiid either is a teiid or is not a shakedown or both.; int9 & int10 -> int11: the teiid does iterate.; int11 -> int12: there exists something such that it iterates.; int12 & sent3 -> int13: the fact that the fraxinella is not a chiaroscuro and/or it is not non-cherty does not hold.; int13 -> int14: there is something such that that it is not a chiaroscuro or cherty or both does not hold.;
$hypothesis$ = the fact that the oilcloth is not a dictostylium and not a cellphone is incorrect. ; $context$ = sent1: if that something is not an usher and it is not a kind of a deadness is false it is a shed. sent2: if something either is a kind of a teiid or is not a kind of a shakedown or both then it iterates. sent3: if there is something such that the fact that it iterates is correct then that the fact that the fraxinella is not a kind of a chiaroscuro and/or it is cherty is false is not wrong. sent4: the fraxinella is not cherty. sent5: if the oilcloth is a chiaroscuro then the fraxinella is a chiaroscuro but it does not determine teiid. sent6: there is something such that it is open-hearth. sent7: that the surrenderer does not iterate hold. sent8: there is something such that it does not determine teiid. sent9: if the fact that something is a kind of non-cherty thing that is not a kind of a dictostylium is wrong it iterates. sent10: the fraxinella is a kind of a dictostylium. sent11: the teiid is not shakedown. sent12: there is something such that it is a kind of a chiaroscuro that does determine teiid. sent13: if something determines teiid then the fact that it is not a kind of a dictostylium and it is not a cellphone is not true. sent14: the oilcloth is not cherty and it is not a kind of a cellphone. sent15: the fact that the oilcloth is a kind of a dictostylium hold if that it is not cherty and does not iterate is false. sent16: the surrenderer is not cherty. sent17: the surrenderer does iterate if the teiid is not cherty. sent18: if the fact that something is not a dictostylium and is not a cellphone does not hold it is a chiaroscuro. sent19: if something that is a kind of a dictostylium does not determine teiid then the oilcloth is not cherty. sent20: if that the teiid is a kind of a chiaroscuro is right the oilcloth is a kind of a chiaroscuro that is not cherty. sent21: the teiid is not cherty if there exists something such that it is a chiaroscuro that does not determine teiid. ; $proof$ = 
sent18 -> int1: the oilcloth is a kind of a chiaroscuro if the fact that it is not a dictostylium and it is not a kind of a cellphone does not hold.; void -> assump1: Let's assume that the fact that the oilcloth is not a kind of a dictostylium and it is not a kind of a cellphone is incorrect.; int1 & assump1 -> int2: the oilcloth is a kind of a chiaroscuro.; int2 & sent5 -> int3: the fraxinella is a chiaroscuro but it does not determine teiid.; int3 -> int4: something is a chiaroscuro and does not determine teiid.; int4 & sent21 -> int5: the teiid is non-cherty.; int5 & sent17 -> int6: the fact that the surrenderer iterates hold.; int6 & sent7 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __DISPROVED__