the promisee does behold obiism.
sent1: the hybrid beholds tasting. sent2: if the fact that that the promisee does not behold tasting and is not a thyroid is not wrong does not hold then it haggles. sent3: the promisee does not behold obiism if it does not behold tasting and is not a thyroid. sent4: the concourse does not behold obiism. sent5: the promisee does not haggle.
void -> assump1: Let's assume that the fact that the promisee does not behold tasting and it is non-thyroid does not hold.; sent2 & assump1 -> int1: the promisee haggles.; int1 & sent5 -> int2: this is contradiction.; [assump1] & int2 -> int3: the promisee does not behold tasting and it is not a kind of a thyroid.; int3 & sent3 -> hypothesis;
$hypothesis$ = the promisee does behold obiism. ; $context$ = sent1: the hybrid beholds tasting. sent2: if the fact that that the promisee does not behold tasting and is not a thyroid is not wrong does not hold then it haggles. sent3: the promisee does not behold obiism if it does not behold tasting and is not a thyroid. sent4: the concourse does not behold obiism. sent5: the promisee does not haggle. ; $proof$ = 
void -> assump1: Let's assume that the fact that the promisee does not behold tasting and it is non-thyroid does not hold.; sent2 & assump1 -> int1: the promisee haggles.; int1 & sent5 -> int2: this is contradiction.; [assump1] & int2 -> int3: the promisee does not behold tasting and it is not a kind of a thyroid.; int3 & sent3 -> hypothesis; __DISPROVED__