that the Eritrean is uveal and not presentational does not hold.
sent1: the raisin is not a insectifuge. sent2: the Eritrean is untidy if that the griffon is not an expressway and it is not a kind of a transcriptase does not hold. sent3: the Eritrean is uveal. sent4: the fact that something is uveal and is not presentational is not true if it is a ipsedixitism. sent5: something is both presentational and tidy. sent6: something is not a tidy. sent7: the fact that the griffon is not an expressway and it is not a transcriptase does not hold if there exists something such that it is a ipsedixitism. sent8: if a presentational thing is not a kind of a tidy then the raisin is a insectifuge. sent9: that the griffon is not an expressway but it is a kind of a transcriptase does not hold. sent10: the fact that the Eritrean is not a tidy is not false if the griffon is a transcriptase. sent11: there is something such that it is a ipsedixitism. sent12: if there is something such that it is a ipsedixitism then the fact that the griffon is not a kind of an expressway but it is a transcriptase does not hold.
sent11 & sent7 -> int1: the fact that the griffon is not a kind of an expressway and is not a transcriptase is not true.; int1 & sent2 -> int2: the fact that the Eritrean is not a tidy is not wrong.; void -> assump1: Let's assume that that the Eritrean is presentational is not wrong.; int2 & assump1 -> int3: the Eritrean is not non-presentational but untidy.; int3 -> int4: something is presentational but it is not tidy.; int4 & sent8 -> int5: the raisin is a kind of a insectifuge.; int5 & sent1 -> int6: this is contradiction.; [assump1] & int6 -> int7: the Eritrean is not presentational.; int7 & sent3 -> hypothesis;
the fact that the fact that the Eritrean is both not non-uveal and not presentational does not hold is right.
sent4 -> int8: if that the Eritrean is a ipsedixitism is not wrong the fact that it is uveal and it is not presentational is incorrect.;
$hypothesis$ = that the Eritrean is uveal and not presentational does not hold. ; $context$ = sent1: the raisin is not a insectifuge. sent2: the Eritrean is untidy if that the griffon is not an expressway and it is not a kind of a transcriptase does not hold. sent3: the Eritrean is uveal. sent4: the fact that something is uveal and is not presentational is not true if it is a ipsedixitism. sent5: something is both presentational and tidy. sent6: something is not a tidy. sent7: the fact that the griffon is not an expressway and it is not a transcriptase does not hold if there exists something such that it is a ipsedixitism. sent8: if a presentational thing is not a kind of a tidy then the raisin is a insectifuge. sent9: that the griffon is not an expressway but it is a kind of a transcriptase does not hold. sent10: the fact that the Eritrean is not a tidy is not false if the griffon is a transcriptase. sent11: there is something such that it is a ipsedixitism. sent12: if there is something such that it is a ipsedixitism then the fact that the griffon is not a kind of an expressway but it is a transcriptase does not hold. ; $proof$ = 
sent11 & sent7 -> int1: the fact that the griffon is not a kind of an expressway and is not a transcriptase is not true.; int1 & sent2 -> int2: the fact that the Eritrean is not a tidy is not wrong.; void -> assump1: Let's assume that that the Eritrean is presentational is not wrong.; int2 & assump1 -> int3: the Eritrean is not non-presentational but untidy.; int3 -> int4: something is presentational but it is not tidy.; int4 & sent8 -> int5: the raisin is a kind of a insectifuge.; int5 & sent1 -> int6: this is contradiction.; [assump1] & int6 -> int7: the Eritrean is not presentational.; int7 & sent3 -> hypothesis; __DISPROVED__