the hearse is elfin and it is a pyxis.
sent1: the hearse is a kind of a pyxis. sent2: the dragon is not a preteen. sent3: that that the fact that the smear does not freckle exon but it is a Turnix is true does not hold if the dragon is not a preteen is true. sent4: the exon is a Turnix if that the hearse either is not a Struthionidae or does not mismanage lekvar or both is false. sent5: the fact that either something is not a Struthionidae or it does not mismanage lekvar or both is wrong if it is not elfin.
sent5 -> int1: if the hearse is not elfin then the fact that it either is not a Struthionidae or does not mismanage lekvar or both is not true.; void -> assump1: Let's assume that the hearse is not elfin.; int1 & assump1 -> int2: the fact that either the hearse is not a Struthionidae or it does not mismanage lekvar or both is incorrect.; int2 & sent4 -> int3: the exon is a Turnix.; sent3 & sent2 -> int4: the fact that the smear does not freckle exon and is a kind of a Turnix is not right.; int4 -> int5: there exists something such that that it does not freckle exon and it is a kind of a Turnix is false.;
$hypothesis$ = the hearse is elfin and it is a pyxis. ; $context$ = sent1: the hearse is a kind of a pyxis. sent2: the dragon is not a preteen. sent3: that that the fact that the smear does not freckle exon but it is a Turnix is true does not hold if the dragon is not a preteen is true. sent4: the exon is a Turnix if that the hearse either is not a Struthionidae or does not mismanage lekvar or both is false. sent5: the fact that either something is not a Struthionidae or it does not mismanage lekvar or both is wrong if it is not elfin. ; $proof$ = 
sent5 -> int1: if the hearse is not elfin then the fact that it either is not a Struthionidae or does not mismanage lekvar or both is not true.; void -> assump1: Let's assume that the hearse is not elfin.; int1 & assump1 -> int2: the fact that either the hearse is not a Struthionidae or it does not mismanage lekvar or both is incorrect.; int2 & sent4 -> int3: the exon is a Turnix.; sent3 & sent2 -> int4: the fact that the smear does not freckle exon and is a kind of a Turnix is not right.; int4 -> int5: there exists something such that that it does not freckle exon and it is a kind of a Turnix is false.; __UNKNOWN__