the traditionalist is Ptolemaic if the eyelid is trivalent.
sent1: the eyelid is both a Abelmoschus and not postmortem. sent2: if a Abelmoschus is not postmortem it loses. sent3: if something that is trivalent does lose then the traditionalist is Ptolemaic. sent4: there is something such that that it loses hold. sent5: something is not boric or it is not a quarter-tone or both. sent6: if something is not boric and/or it is not a kind of a quarter-tone the traditionalist is not a quarter-tone. sent7: something that is not a quarter-tone is a veiled and loses. sent8: if something is not trivalent the cinnamon does crunch and it is a Abelmoschus.
sent2 -> int1: if the eyelid is a Abelmoschus but it is not postmortem then it does lose.; int1 & sent1 -> int2: the eyelid loses.; void -> assump1: Let's assume that the eyelid is trivalent.; int2 & assump1 -> int3: the eyelid is trivalent thing that does lose.; int3 -> int4: something is trivalent and loses.; int4 & sent3 -> int5: the traditionalist is Ptolemaic.; [assump1] & int5 -> hypothesis;
the cinnamon does crunch and it is a kind of a Abelmoschus.
sent7 -> int6: the traditionalist is a veiled that does lose if it is not a quarter-tone.; sent5 & sent6 -> int7: the traditionalist is not a quarter-tone.; int6 & int7 -> int8: the traditionalist is a veiled and loses.; int8 -> int9: the traditionalist loses.; int9 -> int10: the fact that either the traditionalist loses or it is Ptolemaic or both is right.;
$hypothesis$ = the traditionalist is Ptolemaic if the eyelid is trivalent. ; $context$ = sent1: the eyelid is both a Abelmoschus and not postmortem. sent2: if a Abelmoschus is not postmortem it loses. sent3: if something that is trivalent does lose then the traditionalist is Ptolemaic. sent4: there is something such that that it loses hold. sent5: something is not boric or it is not a quarter-tone or both. sent6: if something is not boric and/or it is not a kind of a quarter-tone the traditionalist is not a quarter-tone. sent7: something that is not a quarter-tone is a veiled and loses. sent8: if something is not trivalent the cinnamon does crunch and it is a Abelmoschus. ; $proof$ = 
sent2 -> int1: if the eyelid is a Abelmoschus but it is not postmortem then it does lose.; int1 & sent1 -> int2: the eyelid loses.; void -> assump1: Let's assume that the eyelid is trivalent.; int2 & assump1 -> int3: the eyelid is trivalent thing that does lose.; int3 -> int4: something is trivalent and loses.; int4 & sent3 -> int5: the traditionalist is Ptolemaic.; [assump1] & int5 -> hypothesis; __PROVED__