the elm is not non-Hellenic if that the asteroid is both not inclement and not a intransitive does not hold.
sent1: the Pitman is not inclement. sent2: if the elm is not inclement and is not a kind of a intransitive the asteroid is Hellenic. sent3: if that the elm is a claimant and/or it is not a weigela is wrong it is not a kind of a witting. sent4: if the elm is not intransitive the asteroid is Hellenic but it is clement. sent5: the asteroid is inclement but it is not a kind of a intransitive. sent6: if the elm is not a intransitive and it is not inclement the asteroid is Hellenic. sent7: if that the asteroid is not inclement and it is not Hellenic is false then the elm is a intransitive. sent8: if the asteroid is not Hellenic the elm is a kind of transitive thing that is not inclement. sent9: the asteroid is not inclement and not a intransitive if the elm is not Hellenic. sent10: the asteroid is not transitive if the elm is not Hellenic and it is not inclement. sent11: the asteroid is not Hellenic if the elm is not a witting and it is not sacerdotal.
void -> assump2: Let's assume that the elm is not Hellenic.; sent9 & assump2 -> int1: the asteroid is clement thing that is not a intransitive.; void -> assump1: Let's assume that the fact that the asteroid is not inclement and is not a intransitive is wrong.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the elm is Hellenic.; [assump1] & int3 -> hypothesis;
the asteroid is not Hellenic.
$hypothesis$ = the elm is not non-Hellenic if that the asteroid is both not inclement and not a intransitive does not hold. ; $context$ = sent1: the Pitman is not inclement. sent2: if the elm is not inclement and is not a kind of a intransitive the asteroid is Hellenic. sent3: if that the elm is a claimant and/or it is not a weigela is wrong it is not a kind of a witting. sent4: if the elm is not intransitive the asteroid is Hellenic but it is clement. sent5: the asteroid is inclement but it is not a kind of a intransitive. sent6: if the elm is not a intransitive and it is not inclement the asteroid is Hellenic. sent7: if that the asteroid is not inclement and it is not Hellenic is false then the elm is a intransitive. sent8: if the asteroid is not Hellenic the elm is a kind of transitive thing that is not inclement. sent9: the asteroid is not inclement and not a intransitive if the elm is not Hellenic. sent10: the asteroid is not transitive if the elm is not Hellenic and it is not inclement. sent11: the asteroid is not Hellenic if the elm is not a witting and it is not sacerdotal. ; $proof$ = 
void -> assump2: Let's assume that the elm is not Hellenic.; sent9 & assump2 -> int1: the asteroid is clement thing that is not a intransitive.; void -> assump1: Let's assume that the fact that the asteroid is not inclement and is not a intransitive is wrong.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the elm is Hellenic.; [assump1] & int3 -> hypothesis; __PROVED__