the binary does resent reincarnation and is not undesirous.
sent1: the reincarnation is not a perennial if there is something such that it is not a kind of a Uriah. sent2: the twiner does not syllogize Centrolobium and/or it is not a Passerina. sent3: the reincarnation is not perennial if that there exists something such that that it is a Uriah that does not articulate incineration is wrong hold. sent4: the alienor is not perennial and/or is not a foredeck if the reincarnation is not a perennial. sent5: the binary is a disqualification. sent6: the binary does resent reincarnation if the alienor is not a kind of a perennial and/or is not a foredeck. sent7: the Ni-resist is a kind of a foredeck. sent8: that the binary is not a knower hold if there exists something such that it either does not syllogize Centrolobium or is not a Passerina or both. sent9: if there exists something such that it does not syllogize Centrolobium then the binary is not a knower. sent10: the pruning does articulate incineration. sent11: if something is a Uriah then it does syllogize Centrolobium. sent12: the fact that something is not a Uriah and is a kind of a perennial does not hold if it does not articulate incineration. sent13: The incineration does articulate pruning. sent14: something is a Uriah if the fact that it is not a Uriah and it is a perennial is not right. sent15: if something is not a kind of a knower but it is a disqualification then it is desirous.
void -> assump1: Let's assume that the pruning is a kind of a Uriah and does not articulate incineration.; assump1 -> int1: the pruning does not articulate incineration.; int1 & sent10 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the pruning is a kind of a Uriah that does not articulate incineration does not hold.; int3 -> int4: there is something such that that it is a Uriah and it does not articulate incineration is not correct.; int4 & sent3 -> int5: the reincarnation is not a kind of a perennial.; int5 & sent4 -> int6: the alienor is not perennial or is not a foredeck or both.; int6 & sent6 -> int7: that the binary does not resent reincarnation is incorrect.; sent15 -> int8: if the binary is not a knower but a disqualification it is not undesirous.; sent2 -> int9: there is something such that it does not syllogize Centrolobium and/or it is not a Passerina.; int9 & sent8 -> int10: the fact that the binary is not a kind of a knower is true.; int10 & sent5 -> int11: the binary is not a knower but it is a disqualification.; int8 & int11 -> int12: the binary is not undesirous.; int7 & int12 -> hypothesis;
the reincarnation syllogizes Centrolobium.
sent11 -> int13: that the reincarnation syllogizes Centrolobium is not false if it is a Uriah.; sent14 -> int14: the reincarnation is a Uriah if the fact that it is not a kind of a Uriah and it is a perennial does not hold.; sent12 -> int15: the fact that the reincarnation is not a Uriah but it is a kind of a perennial is false if it does not articulate incineration.;
$hypothesis$ = the binary does resent reincarnation and is not undesirous. ; $context$ = sent1: the reincarnation is not a perennial if there is something such that it is not a kind of a Uriah. sent2: the twiner does not syllogize Centrolobium and/or it is not a Passerina. sent3: the reincarnation is not perennial if that there exists something such that that it is a Uriah that does not articulate incineration is wrong hold. sent4: the alienor is not perennial and/or is not a foredeck if the reincarnation is not a perennial. sent5: the binary is a disqualification. sent6: the binary does resent reincarnation if the alienor is not a kind of a perennial and/or is not a foredeck. sent7: the Ni-resist is a kind of a foredeck. sent8: that the binary is not a knower hold if there exists something such that it either does not syllogize Centrolobium or is not a Passerina or both. sent9: if there exists something such that it does not syllogize Centrolobium then the binary is not a knower. sent10: the pruning does articulate incineration. sent11: if something is a Uriah then it does syllogize Centrolobium. sent12: the fact that something is not a Uriah and is a kind of a perennial does not hold if it does not articulate incineration. sent13: The incineration does articulate pruning. sent14: something is a Uriah if the fact that it is not a Uriah and it is a perennial is not right. sent15: if something is not a kind of a knower but it is a disqualification then it is desirous. ; $proof$ = 
void -> assump1: Let's assume that the pruning is a kind of a Uriah and does not articulate incineration.; assump1 -> int1: the pruning does not articulate incineration.; int1 & sent10 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the pruning is a kind of a Uriah that does not articulate incineration does not hold.; int3 -> int4: there is something such that that it is a Uriah and it does not articulate incineration is not correct.; int4 & sent3 -> int5: the reincarnation is not a kind of a perennial.; int5 & sent4 -> int6: the alienor is not perennial or is not a foredeck or both.; int6 & sent6 -> int7: that the binary does not resent reincarnation is incorrect.; sent15 -> int8: if the binary is not a knower but a disqualification it is not undesirous.; sent2 -> int9: there is something such that it does not syllogize Centrolobium and/or it is not a Passerina.; int9 & sent8 -> int10: the fact that the binary is not a kind of a knower is true.; int10 & sent5 -> int11: the binary is not a knower but it is a disqualification.; int8 & int11 -> int12: the binary is not undesirous.; int7 & int12 -> hypothesis; __PROVED__