the padre is not a derivative.
sent1: that the padre does upgrade incompetent and does not upgrade iterative does not hold if the man does not upgrade incompetent. sent2: something is a kind of a derivative if the fact that it does upgrade incompetent is true. sent3: the Livonian upgrades incompetent. sent4: the fact that the padre does not upgrade incompetent and does not upgrade iterative is not correct if the man does not upgrade incompetent. sent5: the man is angry if the Livonian is a jimdandy that is not a kind of a Blair. sent6: the padre bows reforestation if the man is not ungual and not angry. sent7: that the man is not subhuman or it does not bow reforestation or both is wrong if it is ungual. sent8: if something is angry it is ungual. sent9: if the padre does upgrade incompetent then it is a derivative. sent10: something that does not upgrade incompetent is not a derivative. sent11: the Livonian is not a Matthew but it does bow praetor if it is not subhuman. sent12: that the Livonian does bow praetor is correct. sent13: the Livonian is not arsenious. sent14: if the fact that something does not upgrade incompetent and does not upgrade iterative does not hold it is a derivative. sent15: if the man does upgrade incompetent that the fact that the Livonian is not a kind of a Matthew and does bow praetor does not hold is right. sent16: if something does not upgrade iterative then it is not a kind of a derivative and does not upgrade incompetent. sent17: the Livonian is not subhuman. sent18: something does bow reforestation. sent19: the Livonian does bow praetor if it is not subhuman. sent20: the fact that the padre upgrades incompetent but it does not upgrade iterative is wrong. sent21: something is a jimdandy and is not a Blair if it is not arsenious.
void -> assump1: Let's assume that the man upgrades incompetent.; sent15 & assump1 -> int1: the fact that the Livonian is not a kind of a Matthew and does bow praetor is wrong.; sent11 & sent17 -> int2: the Livonian is not a Matthew and does bow praetor.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the man does not upgrade incompetent is not wrong.; int4 & sent4 -> int5: the fact that the padre does not upgrade incompetent and does not upgrade iterative is not true.; sent14 -> int6: if that the padre does not upgrade incompetent and it does not upgrade iterative does not hold then it is a derivative.; int5 & int6 -> hypothesis;
the Ashkenazi is a Matthew.
$hypothesis$ = the padre is not a derivative. ; $context$ = sent1: that the padre does upgrade incompetent and does not upgrade iterative does not hold if the man does not upgrade incompetent. sent2: something is a kind of a derivative if the fact that it does upgrade incompetent is true. sent3: the Livonian upgrades incompetent. sent4: the fact that the padre does not upgrade incompetent and does not upgrade iterative is not correct if the man does not upgrade incompetent. sent5: the man is angry if the Livonian is a jimdandy that is not a kind of a Blair. sent6: the padre bows reforestation if the man is not ungual and not angry. sent7: that the man is not subhuman or it does not bow reforestation or both is wrong if it is ungual. sent8: if something is angry it is ungual. sent9: if the padre does upgrade incompetent then it is a derivative. sent10: something that does not upgrade incompetent is not a derivative. sent11: the Livonian is not a Matthew but it does bow praetor if it is not subhuman. sent12: that the Livonian does bow praetor is correct. sent13: the Livonian is not arsenious. sent14: if the fact that something does not upgrade incompetent and does not upgrade iterative does not hold it is a derivative. sent15: if the man does upgrade incompetent that the fact that the Livonian is not a kind of a Matthew and does bow praetor does not hold is right. sent16: if something does not upgrade iterative then it is not a kind of a derivative and does not upgrade incompetent. sent17: the Livonian is not subhuman. sent18: something does bow reforestation. sent19: the Livonian does bow praetor if it is not subhuman. sent20: the fact that the padre upgrades incompetent but it does not upgrade iterative is wrong. sent21: something is a jimdandy and is not a Blair if it is not arsenious. ; $proof$ = 
void -> assump1: Let's assume that the man upgrades incompetent.; sent15 & assump1 -> int1: the fact that the Livonian is not a kind of a Matthew and does bow praetor is wrong.; sent11 & sent17 -> int2: the Livonian is not a Matthew and does bow praetor.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the man does not upgrade incompetent is not wrong.; int4 & sent4 -> int5: the fact that the padre does not upgrade incompetent and does not upgrade iterative is not true.; sent14 -> int6: if that the padre does not upgrade incompetent and it does not upgrade iterative does not hold then it is a derivative.; int5 & int6 -> hypothesis; __DISPROVED__