the applemint is cannibalistic.
sent1: if there is something such that it is not a Haemodoraceae then that the physicist is a kind of non-sublittoral thing that does palatalize IFC does not hold. sent2: the anionic is not a dialectics if there exists something such that the fact that the fact that it is not Ismaili and it is a kind of a cargo is not incorrect does not hold. sent3: if that something is a Haemodoraceae that is not a kind of a Ismaili is not right then it is not a Haemodoraceae. sent4: if something is not a carpetbag then it is congregational. sent5: if the physicist is sublittoral then it palatalizes IFC. sent6: the applemint is a R-2. sent7: the physicist is not non-sublittoral. sent8: the fact that something is an alkalinity or it is not predicative or both is wrong if it is non-dialectics. sent9: the anionic is not a Haemodoraceae if there exists something such that that it is not predicative and palatalizes IFC does not hold. sent10: the horsemint is a kind of a Ismaili if that the applemint is cannibalistic and/or it palatalizes IFC does not hold. sent11: the physicist is predicative. sent12: everything is a cargo. sent13: the anionic is not a kind of a dialectics if something is not a cargo. sent14: something is a kind of a Haemodoraceae if it palatalizes IFC. sent15: the fact that that the horsemint is not a Ismaili and is a cargo is not wrong is false if the physicist is a kind of a Haemodoraceae. sent16: if that either the anionic is a kind of an alkalinity or it is not predicative or both is not correct the applemint is not non-cannibalistic.
sent5 & sent7 -> int1: the physicist palatalizes IFC.; sent14 -> int2: if the physicist palatalizes IFC then it is a Haemodoraceae.; int1 & int2 -> int3: the physicist is a kind of a Haemodoraceae.; int3 & sent15 -> int4: the fact that that the horsemint is both non-Ismaili and a cargo does not hold hold.; int4 -> int5: there exists something such that the fact that it is not a Ismaili and it is a cargo does not hold.; int5 & sent2 -> int6: the anionic is not a dialectics.; sent8 -> int7: if the anionic is not a kind of a dialectics that it is an alkalinity or is not predicative or both is not right.; int6 & int7 -> int8: that the anionic is an alkalinity or is non-predicative or both does not hold.; int8 & sent16 -> hypothesis;
the applemint is not cannibalistic.
sent12 -> int9: the anionic is a kind of a cargo.; sent3 -> int10: if that the horsemint is a Haemodoraceae but it is not a Ismaili is incorrect it is not a kind of a Haemodoraceae.;
$hypothesis$ = the applemint is cannibalistic. ; $context$ = sent1: if there is something such that it is not a Haemodoraceae then that the physicist is a kind of non-sublittoral thing that does palatalize IFC does not hold. sent2: the anionic is not a dialectics if there exists something such that the fact that the fact that it is not Ismaili and it is a kind of a cargo is not incorrect does not hold. sent3: if that something is a Haemodoraceae that is not a kind of a Ismaili is not right then it is not a Haemodoraceae. sent4: if something is not a carpetbag then it is congregational. sent5: if the physicist is sublittoral then it palatalizes IFC. sent6: the applemint is a R-2. sent7: the physicist is not non-sublittoral. sent8: the fact that something is an alkalinity or it is not predicative or both is wrong if it is non-dialectics. sent9: the anionic is not a Haemodoraceae if there exists something such that that it is not predicative and palatalizes IFC does not hold. sent10: the horsemint is a kind of a Ismaili if that the applemint is cannibalistic and/or it palatalizes IFC does not hold. sent11: the physicist is predicative. sent12: everything is a cargo. sent13: the anionic is not a kind of a dialectics if something is not a cargo. sent14: something is a kind of a Haemodoraceae if it palatalizes IFC. sent15: the fact that that the horsemint is not a Ismaili and is a cargo is not wrong is false if the physicist is a kind of a Haemodoraceae. sent16: if that either the anionic is a kind of an alkalinity or it is not predicative or both is not correct the applemint is not non-cannibalistic. ; $proof$ = 
sent5 & sent7 -> int1: the physicist palatalizes IFC.; sent14 -> int2: if the physicist palatalizes IFC then it is a Haemodoraceae.; int1 & int2 -> int3: the physicist is a kind of a Haemodoraceae.; int3 & sent15 -> int4: the fact that that the horsemint is both non-Ismaili and a cargo does not hold hold.; int4 -> int5: there exists something such that the fact that it is not a Ismaili and it is a cargo does not hold.; int5 & sent2 -> int6: the anionic is not a dialectics.; sent8 -> int7: if the anionic is not a kind of a dialectics that it is an alkalinity or is not predicative or both is not right.; int6 & int7 -> int8: that the anionic is an alkalinity or is non-predicative or both does not hold.; int8 & sent16 -> hypothesis; __PROVED__