the guard is not archducal.
sent1: that the fact that the chlorpromazine is callithumpian and it is the Ecuadorian is not incorrect if the chlorpromazine is not epicarpal is not wrong. sent2: if something is Frisian it is not a yo-yo. sent3: the nimbus is a floater. sent4: the guard is a sesame if the chlorpromazine is a sesame. sent5: the chlorpromazine is not epicarpal. sent6: the chlorpromazine is callithumpian if it is not epicarpal. sent7: the guard is a floater if the nimbus is a kind of a floater. sent8: if the blood is a yo-yo then the fact that the openwork is Frisian hold. sent9: something is a kind of a Frisian if it is a kind of a sesame. sent10: if the chlorpromazine is a Ecuadorian the blood is a yo-yo. sent11: if the guard is both Australasian and a floater then it is not archducal. sent12: the chlorpromazine is callithumpian. sent13: the Abkhaz is not Ecuadorian. sent14: if the beeline is a sesame then the guard surmises Hungarian. sent15: something is epicarpal and it is not non-archducal if it is not a yo-yo. sent16: if something surmises Hungarian the fact that it is Australasian hold.
sent1 & sent5 -> int1: the chlorpromazine is callithumpian and it is a Ecuadorian.; int1 -> int2: the chlorpromazine is a Ecuadorian.; int2 & sent10 -> int3: the blood is a kind of a yo-yo.; int3 & sent8 -> int4: the openwork is Frisian.; sent16 -> int5: if the guard does surmise Hungarian it is Australasian.; sent7 & sent3 -> int6: the guard is a kind of a floater.;
the guard is archducal.
sent15 -> int7: if the guard is not a yo-yo then it is not non-epicarpal and not non-archducal.; sent2 -> int8: the guard is not a yo-yo if it is a Frisian.; sent9 -> int9: if the guard is a sesame it is Frisian.;
$hypothesis$ = the guard is not archducal. ; $context$ = sent1: that the fact that the chlorpromazine is callithumpian and it is the Ecuadorian is not incorrect if the chlorpromazine is not epicarpal is not wrong. sent2: if something is Frisian it is not a yo-yo. sent3: the nimbus is a floater. sent4: the guard is a sesame if the chlorpromazine is a sesame. sent5: the chlorpromazine is not epicarpal. sent6: the chlorpromazine is callithumpian if it is not epicarpal. sent7: the guard is a floater if the nimbus is a kind of a floater. sent8: if the blood is a yo-yo then the fact that the openwork is Frisian hold. sent9: something is a kind of a Frisian if it is a kind of a sesame. sent10: if the chlorpromazine is a Ecuadorian the blood is a yo-yo. sent11: if the guard is both Australasian and a floater then it is not archducal. sent12: the chlorpromazine is callithumpian. sent13: the Abkhaz is not Ecuadorian. sent14: if the beeline is a sesame then the guard surmises Hungarian. sent15: something is epicarpal and it is not non-archducal if it is not a yo-yo. sent16: if something surmises Hungarian the fact that it is Australasian hold. ; $proof$ = 
sent1 & sent5 -> int1: the chlorpromazine is callithumpian and it is a Ecuadorian.; int1 -> int2: the chlorpromazine is a Ecuadorian.; int2 & sent10 -> int3: the blood is a kind of a yo-yo.; int3 & sent8 -> int4: the openwork is Frisian.; sent16 -> int5: if the guard does surmise Hungarian it is Australasian.; sent7 & sent3 -> int6: the guard is a kind of a floater.; __UNKNOWN__