the whistle does not credit penologist.
sent1: the ovenbird does credit ovenbird. sent2: if the fact that the fact that something does not credit fiance and does not credit penologist hold is false then it does credit penologist. sent3: the Quapaw is not a colicroot and not an excretion if the ovenbird credits fiance. sent4: something is not hilar. sent5: the Quapaw is not an excretion if that the ovenbird credits fiance is not incorrect. sent6: the ovenbird does credit fiance and credits ovenbird. sent7: if there exists something such that it is not a kind of a colicroot and it is an excretion the whistle does not credit penologist. sent8: the whistle does not hyperventilate. sent9: the Quapaw is not an excretion. sent10: there exists something such that it is both a colicroot and not an excretion.
sent6 -> int1: the ovenbird does credit fiance.; sent3 & int1 -> int2: the Quapaw is not a colicroot and it is not an excretion.; int2 -> int3: something is not a kind of a colicroot and it is not a kind of an excretion.;
the whistle credits penologist.
sent2 -> int4: the whistle credits penologist if that it does not credit fiance and it does not credits penologist does not hold.;
$hypothesis$ = the whistle does not credit penologist. ; $context$ = sent1: the ovenbird does credit ovenbird. sent2: if the fact that the fact that something does not credit fiance and does not credit penologist hold is false then it does credit penologist. sent3: the Quapaw is not a colicroot and not an excretion if the ovenbird credits fiance. sent4: something is not hilar. sent5: the Quapaw is not an excretion if that the ovenbird credits fiance is not incorrect. sent6: the ovenbird does credit fiance and credits ovenbird. sent7: if there exists something such that it is not a kind of a colicroot and it is an excretion the whistle does not credit penologist. sent8: the whistle does not hyperventilate. sent9: the Quapaw is not an excretion. sent10: there exists something such that it is both a colicroot and not an excretion. ; $proof$ = 
sent6 -> int1: the ovenbird does credit fiance.; sent3 & int1 -> int2: the Quapaw is not a colicroot and it is not an excretion.; int2 -> int3: something is not a kind of a colicroot and it is not a kind of an excretion.; __UNKNOWN__