that the Haitian does auspicate and is a macedoine is not correct.
sent1: if the angelfish flattens mackinaw the Haitian does flattens mackinaw. sent2: the nazi cases shill and does not incline. sent3: the tacker does not case psychopomp if the shill is a Weizmann and a moral. sent4: if the angelfish does not flatten Virginian the funambulist does not flatten Virginian. sent5: the Haitian does auspicate and it is a kind of an oversimplification. sent6: the fact that the shill is incommodious if the nazi is incommodious hold. sent7: the Haitian is a Weizmann if the funambulist is a Weizmann. sent8: something cases psychopomp if it is a moral. sent9: something that is not a pocked is moral thing that is an invite. sent10: if the Haitian does not flatten Virginian the fact that it auspicates hold. sent11: something is a kind of a Weizmann and it cases psychopomp. sent12: there exists something such that it flattens hackberry and it is a company. sent13: if there is something such that that that it is not a Weizmann and does flatten Virginian is not incorrect is wrong the funambulist is a Weizmann. sent14: something does auspicate and it is a kind of a macedoine if it does not flatten Virginian. sent15: if the shill is negative the angelfish does flatten mackinaw. sent16: the nazi is not commodious if it does case shill and it does not incline. sent17: there exists something such that it is not a ACTH. sent18: the tacker is not a pocked if there is something such that it is not a ACTH. sent19: if something cases psychopomp then the fact that it is not a kind of a Weizmann and flattens Virginian is not right. sent20: something is a negative if it is incommodious. sent21: the Haitian does not flatten Virginian if there exists something such that it is a Weizmann and does case psychopomp. sent22: the fact that the Haitian does auspicate and it is a kind of a macedoine is not right if the funambulist does not flatten Virginian.
sent14 -> int1: the Haitian auspicates and is a macedoine if it does not flatten Virginian.; sent11 & sent21 -> int2: the Haitian does not flatten Virginian.; int1 & int2 -> hypothesis;
that the Haitian auspicates and it is a macedoine is false.
$hypothesis$ = that the Haitian does auspicate and is a macedoine is not correct. ; $context$ = sent1: if the angelfish flattens mackinaw the Haitian does flattens mackinaw. sent2: the nazi cases shill and does not incline. sent3: the tacker does not case psychopomp if the shill is a Weizmann and a moral. sent4: if the angelfish does not flatten Virginian the funambulist does not flatten Virginian. sent5: the Haitian does auspicate and it is a kind of an oversimplification. sent6: the fact that the shill is incommodious if the nazi is incommodious hold. sent7: the Haitian is a Weizmann if the funambulist is a Weizmann. sent8: something cases psychopomp if it is a moral. sent9: something that is not a pocked is moral thing that is an invite. sent10: if the Haitian does not flatten Virginian the fact that it auspicates hold. sent11: something is a kind of a Weizmann and it cases psychopomp. sent12: there exists something such that it flattens hackberry and it is a company. sent13: if there is something such that that that it is not a Weizmann and does flatten Virginian is not incorrect is wrong the funambulist is a Weizmann. sent14: something does auspicate and it is a kind of a macedoine if it does not flatten Virginian. sent15: if the shill is negative the angelfish does flatten mackinaw. sent16: the nazi is not commodious if it does case shill and it does not incline. sent17: there exists something such that it is not a ACTH. sent18: the tacker is not a pocked if there is something such that it is not a ACTH. sent19: if something cases psychopomp then the fact that it is not a kind of a Weizmann and flattens Virginian is not right. sent20: something is a negative if it is incommodious. sent21: the Haitian does not flatten Virginian if there exists something such that it is a Weizmann and does case psychopomp. sent22: the fact that the Haitian does auspicate and it is a kind of a macedoine is not right if the funambulist does not flatten Virginian. ; $proof$ = 
sent14 -> int1: the Haitian auspicates and is a macedoine if it does not flatten Virginian.; sent11 & sent21 -> int2: the Haitian does not flatten Virginian.; int1 & int2 -> hypothesis; __DISPROVED__