the ytterbium is sepulchral if the Jewbush is anabatic.
sent1: the ytterbium is not a realist. sent2: if the Jewbush is not a discussant the fact that the ytterbium is sepulchral is not wrong. sent3: something does not push Pauling and is anabatic if it is chromatinic. sent4: if the fact that the Jewbush is either a realist or not sepulchral or both does not hold then it is not anabatic. sent5: something is immune and/or it is not sepulchral if it is anabatic. sent6: the Jewbush is chromatinic if there is something such that the fact that it does contemplate lenience and is clement is not correct. sent7: that the ytterbium is not anabatic does not hold if the Jewbush is not sepulchral. sent8: everything does not push cornet and is periodontic. sent9: that something either pushes Jewbush or is not a playbook or both is not true if it is sepulchral. sent10: the Jewbush is not anabatic if that it is a kind of a realist or is not a discussant or both does not hold. sent11: the assenter is anabatic if the Jewbush does not push Pauling but it is anabatic. sent12: the fact that something contemplates lenience and it is clement is wrong if it does not push cornet. sent13: the ytterbium is anabatic if the Jewbush is a discussant. sent14: if that the Jewbush is a realist or it is not a discussant or both is false then it is anabatic.
void -> assump2: Let's assume that the Jewbush is anabatic.; void -> assump1: Let's assume that that the Jewbush is a realist and/or not a discussant is not true.; sent10 & assump1 -> int1: the Jewbush is not anabatic.; assump2 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the Jewbush is a realist and/or it is not a discussant.;
that the cornet pushes Jewbush and/or is not a kind of a playbook is wrong.
sent9 -> int4: if the cornet is sepulchral that it pushes Jewbush and/or it is not a playbook is false.;
$hypothesis$ = the ytterbium is sepulchral if the Jewbush is anabatic. ; $context$ = sent1: the ytterbium is not a realist. sent2: if the Jewbush is not a discussant the fact that the ytterbium is sepulchral is not wrong. sent3: something does not push Pauling and is anabatic if it is chromatinic. sent4: if the fact that the Jewbush is either a realist or not sepulchral or both does not hold then it is not anabatic. sent5: something is immune and/or it is not sepulchral if it is anabatic. sent6: the Jewbush is chromatinic if there is something such that the fact that it does contemplate lenience and is clement is not correct. sent7: that the ytterbium is not anabatic does not hold if the Jewbush is not sepulchral. sent8: everything does not push cornet and is periodontic. sent9: that something either pushes Jewbush or is not a playbook or both is not true if it is sepulchral. sent10: the Jewbush is not anabatic if that it is a kind of a realist or is not a discussant or both does not hold. sent11: the assenter is anabatic if the Jewbush does not push Pauling but it is anabatic. sent12: the fact that something contemplates lenience and it is clement is wrong if it does not push cornet. sent13: the ytterbium is anabatic if the Jewbush is a discussant. sent14: if that the Jewbush is a realist or it is not a discussant or both is false then it is anabatic. ; $proof$ = 
void -> assump2: Let's assume that the Jewbush is anabatic.; void -> assump1: Let's assume that that the Jewbush is a realist and/or not a discussant is not true.; sent10 & assump1 -> int1: the Jewbush is not anabatic.; assump2 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the Jewbush is a realist and/or it is not a discussant.; __UNKNOWN__