that if the spelter is both not a Eruca and not syphilitic the verdin is not a Helotium does not hold.
sent1: the verdin is not a Helotium if there is something such that it is not non-puritanical and it is not a Tunisian. sent2: the fact that the spelter is perineal is not wrong. sent3: if there is something such that the fact that it is perineal and is not a Tunisian does not hold then the Flint is not perineal. sent4: that if the spelter is a Eruca but it is not a syphilitic then the verdin is not a kind of a Helotium is not wrong. sent5: if something is a kind of a synchrocyclotron that the spelter is not non-perineal and is not a kind of a Tunisian is wrong. sent6: the epauliere is not puritanical and it is not Tunisian if it is perineal. sent7: something is a syphilitic but it is not perineal. sent8: the epauliere is perineal and it is a synchrocyclotron if there is something such that it is not a syphilitic. sent9: if there exists something such that it is non-syphilitic thing that is not a kind of a synchrocyclotron then the epauliere is a Helotium. sent10: that something is not endocentric and does not crust anaplasty is true. sent11: the epauliere is perineal if something that is not a kind of a Helotium is non-syphilitic. sent12: the verdin consummates and it is pietistic. sent13: the verdin does not heed and it is not a kind of a Eruca. sent14: if there is something such that it is not puritanical and it is not Tunisian the verdin is not a Helotium. sent15: the henbit is non-syphilitic thing that does not compensate pakchoi. sent16: if something is not perineal it is a Eruca and it is a syphilitic. sent17: if there is something such that it is not a kind of a Helotium and it is not a syphilitic then the verdin is a kind of a Eruca.
void -> assump1: Let's assume that the spelter is not a Eruca and it is non-syphilitic.; assump1 -> int1: the spelter is not a syphilitic.; int1 -> int2: there are non-syphilitic things.; int2 & sent8 -> int3: the epauliere is a kind of perineal a synchrocyclotron.; int3 -> int4: the epauliere is perineal.; int4 & sent6 -> int5: the epauliere is not puritanical and is not Tunisian.; int5 -> int6: there exists something such that it is not puritanical and it is not a Tunisian.; int6 & sent14 -> int7: that the verdin is not a kind of a Helotium is true.; [assump1] & int7 -> hypothesis;
the Flint is a syphilitic.
sent16 -> int8: if the Flint is non-perineal then it is a kind of a Eruca that is a syphilitic.;
$hypothesis$ = that if the spelter is both not a Eruca and not syphilitic the verdin is not a Helotium does not hold. ; $context$ = sent1: the verdin is not a Helotium if there is something such that it is not non-puritanical and it is not a Tunisian. sent2: the fact that the spelter is perineal is not wrong. sent3: if there is something such that the fact that it is perineal and is not a Tunisian does not hold then the Flint is not perineal. sent4: that if the spelter is a Eruca but it is not a syphilitic then the verdin is not a kind of a Helotium is not wrong. sent5: if something is a kind of a synchrocyclotron that the spelter is not non-perineal and is not a kind of a Tunisian is wrong. sent6: the epauliere is not puritanical and it is not Tunisian if it is perineal. sent7: something is a syphilitic but it is not perineal. sent8: the epauliere is perineal and it is a synchrocyclotron if there is something such that it is not a syphilitic. sent9: if there exists something such that it is non-syphilitic thing that is not a kind of a synchrocyclotron then the epauliere is a Helotium. sent10: that something is not endocentric and does not crust anaplasty is true. sent11: the epauliere is perineal if something that is not a kind of a Helotium is non-syphilitic. sent12: the verdin consummates and it is pietistic. sent13: the verdin does not heed and it is not a kind of a Eruca. sent14: if there is something such that it is not puritanical and it is not Tunisian the verdin is not a Helotium. sent15: the henbit is non-syphilitic thing that does not compensate pakchoi. sent16: if something is not perineal it is a Eruca and it is a syphilitic. sent17: if there is something such that it is not a kind of a Helotium and it is not a syphilitic then the verdin is a kind of a Eruca. ; $proof$ = 
void -> assump1: Let's assume that the spelter is not a Eruca and it is non-syphilitic.; assump1 -> int1: the spelter is not a syphilitic.; int1 -> int2: there are non-syphilitic things.; int2 & sent8 -> int3: the epauliere is a kind of perineal a synchrocyclotron.; int3 -> int4: the epauliere is perineal.; int4 & sent6 -> int5: the epauliere is not puritanical and is not Tunisian.; int5 -> int6: there exists something such that it is not puritanical and it is not a Tunisian.; int6 & sent14 -> int7: that the verdin is not a kind of a Helotium is true.; [assump1] & int7 -> hypothesis; __DISPROVED__