the wall is a partitive and it does stoke.
sent1: the fact that the wall is not a tetranychid or it does not hedge reflexed or both is not false. sent2: if the fact that something is not a self-starter and does not hedge reflexed does not hold then it is a kind of a self-starter. sent3: if the fact that the wall is a Wegener is true then the nullah is not a kind of a Wegener and does not hedge reflexed. sent4: if there exists something such that it is not polydactyl then the nullah is a Wegener. sent5: something does not glower if it is not a kind of a partitive or it does not glower or both. sent6: the nullah is a tetranychid. sent7: the wall does not hedge reflexed if it is not a tetranychid or it does not hedge reflexed or both. sent8: the wall is a kind of a self-starter if the redcoat does not restore antiphonary and it does not compromise. sent9: the wall does stoke. sent10: the nullah is a kind of a compromise if the wall is a partitive and not a Wegener. sent11: if the pomade does restore antiphonary the redcoat does not restore antiphonary and it is not a kind of a compromise. sent12: if the nullah is not polydactyl then that the wall is partitive and does stoke is not right. sent13: something is a kind of a partitive if it does not hedge reflexed and it is a self-starter. sent14: the pomade does compromise. sent15: something does not restore antiphonary and it is not a Wegener if it is a self-starter. sent16: if the nullah is a Wegener the pomade restores antiphonary.
sent7 & sent1 -> int1: the wall does not hedge reflexed.; sent13 -> int2: if the wall does not hedge reflexed but it is a kind of a self-starter then it is a partitive.;
the fact that the wall is partitive thing that does stoke does not hold.
sent15 -> int3: if the pomade is a self-starter it does not restore antiphonary and it is not a Wegener.; sent2 -> int4: if the fact that the pomade is not a kind of a self-starter and it does not hedge reflexed is not right then it is a self-starter.;
$hypothesis$ = the wall is a partitive and it does stoke. ; $context$ = sent1: the fact that the wall is not a tetranychid or it does not hedge reflexed or both is not false. sent2: if the fact that something is not a self-starter and does not hedge reflexed does not hold then it is a kind of a self-starter. sent3: if the fact that the wall is a Wegener is true then the nullah is not a kind of a Wegener and does not hedge reflexed. sent4: if there exists something such that it is not polydactyl then the nullah is a Wegener. sent5: something does not glower if it is not a kind of a partitive or it does not glower or both. sent6: the nullah is a tetranychid. sent7: the wall does not hedge reflexed if it is not a tetranychid or it does not hedge reflexed or both. sent8: the wall is a kind of a self-starter if the redcoat does not restore antiphonary and it does not compromise. sent9: the wall does stoke. sent10: the nullah is a kind of a compromise if the wall is a partitive and not a Wegener. sent11: if the pomade does restore antiphonary the redcoat does not restore antiphonary and it is not a kind of a compromise. sent12: if the nullah is not polydactyl then that the wall is partitive and does stoke is not right. sent13: something is a kind of a partitive if it does not hedge reflexed and it is a self-starter. sent14: the pomade does compromise. sent15: something does not restore antiphonary and it is not a Wegener if it is a self-starter. sent16: if the nullah is a Wegener the pomade restores antiphonary. ; $proof$ = 
sent7 & sent1 -> int1: the wall does not hedge reflexed.; sent13 -> int2: if the wall does not hedge reflexed but it is a kind of a self-starter then it is a partitive.; __UNKNOWN__