the Pharisee is a value.
sent1: the Pharisee does not value if the avower is not a value. sent2: the blackface is not subtropical if there is something such that it wears chyme. sent3: the fact that the blackface does not incarnate and does not wear byssus is not correct if it does not rabbet hurdy-gurdy. sent4: the avower is a pocked. sent5: if there exists something such that that it is not a pocked and incarnates is not correct then the bloom does not wear byssus. sent6: something rabbets hurdy-gurdy if it does not wear byssus and it is a Bologna. sent7: the bloom is a Bologna if there are non-subtropical things. sent8: the blackface does not rabbet hurdy-gurdy. sent9: there is something such that it wears chyme.
void -> assump1: Let's assume that the avower is not a kind of a pocked but it does incarnate.; assump1 -> int1: the avower is not a pocked.; int1 & sent4 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that that the avower is not a pocked and incarnates is not correct is true.; int3 -> int4: there exists something such that that it is not a pocked and does incarnate is not correct.; int4 & sent5 -> int5: the bloom does not wear byssus.; sent9 & sent2 -> int6: the blackface is not subtropical.; int6 -> int7: something is not subtropical.; int7 & sent7 -> int8: the bloom is a kind of a Bologna.; int5 & int8 -> int9: the bloom does not wear byssus and is a Bologna.; sent6 -> int10: the bloom rabbets hurdy-gurdy if that it does not wear byssus and it is a kind of a Bologna is not wrong.; int9 & int10 -> int11: the bloom does rabbet hurdy-gurdy.;
the Pharisee is not a kind of a value.
sent3 & sent8 -> int12: the fact that the blackface does not incarnate and does not wear byssus is not correct.; int12 -> int13: there exists something such that the fact that it does not incarnate and it does not wear byssus is incorrect.;
$hypothesis$ = the Pharisee is a value. ; $context$ = sent1: the Pharisee does not value if the avower is not a value. sent2: the blackface is not subtropical if there is something such that it wears chyme. sent3: the fact that the blackface does not incarnate and does not wear byssus is not correct if it does not rabbet hurdy-gurdy. sent4: the avower is a pocked. sent5: if there exists something such that that it is not a pocked and incarnates is not correct then the bloom does not wear byssus. sent6: something rabbets hurdy-gurdy if it does not wear byssus and it is a Bologna. sent7: the bloom is a Bologna if there are non-subtropical things. sent8: the blackface does not rabbet hurdy-gurdy. sent9: there is something such that it wears chyme. ; $proof$ = 
void -> assump1: Let's assume that the avower is not a kind of a pocked but it does incarnate.; assump1 -> int1: the avower is not a pocked.; int1 & sent4 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that that the avower is not a pocked and incarnates is not correct is true.; int3 -> int4: there exists something such that that it is not a pocked and does incarnate is not correct.; int4 & sent5 -> int5: the bloom does not wear byssus.; sent9 & sent2 -> int6: the blackface is not subtropical.; int6 -> int7: something is not subtropical.; int7 & sent7 -> int8: the bloom is a kind of a Bologna.; int5 & int8 -> int9: the bloom does not wear byssus and is a Bologna.; sent6 -> int10: the bloom rabbets hurdy-gurdy if that it does not wear byssus and it is a kind of a Bologna is not wrong.; int9 & int10 -> int11: the bloom does rabbet hurdy-gurdy.; __UNKNOWN__