the anorthite consternates proctor.
sent1: if something consternates kike it is anal. sent2: if something that is not a raggedness is a pump then the sackcloth does not consternate princewood. sent3: there exists something such that the fact that it does reissue Nernst and does not consternate proctor does not hold. sent4: that the tocsin does not tally and does not consternate kike is incorrect if the fact that it does not consternate princewood is right. sent5: if something is anal then it does reissue Nernst. sent6: something is not a kind of a raggedness but it pumps. sent7: if there is something such that the fact that it does not prank and does not tally is not correct then the tocsin consternates kike. sent8: if the tocsin reissues Nernst but it does not card the anorthite consternates proctor. sent9: something does reissue Nernst but it is not a kind of a cards if it is anal. sent10: the fact that the tocsin consternates princewood and does consternate kike does not hold if the nailbrush is not anal. sent11: if the anorthite consternates kike but it does not prank then the tocsin consternates proctor. sent12: that something does not prank and it does not tally does not hold if it does not consternate princewood.
sent12 -> int1: the fact that the sackcloth does not prank and it does not tally is not correct if it does not consternate princewood.; sent6 & sent2 -> int2: the sackcloth does not consternate princewood.; int1 & int2 -> int3: that the sackcloth does not prank and it does not tally is not correct.; int3 -> int4: there exists something such that the fact that it does not prank and it does not tally does not hold.; int4 & sent7 -> int5: the tocsin does consternate kike.; sent1 -> int6: the tocsin is anal if it consternates kike.; int5 & int6 -> int7: the tocsin is anal.; sent9 -> int8: the tocsin reissues Nernst but it is not a cards if it is anal.; int7 & int8 -> int9: the tocsin reissues Nernst and is not a kind of a cards.; int9 & sent8 -> hypothesis;
the anorthite does not consternate proctor.
$hypothesis$ = the anorthite consternates proctor. ; $context$ = sent1: if something consternates kike it is anal. sent2: if something that is not a raggedness is a pump then the sackcloth does not consternate princewood. sent3: there exists something such that the fact that it does reissue Nernst and does not consternate proctor does not hold. sent4: that the tocsin does not tally and does not consternate kike is incorrect if the fact that it does not consternate princewood is right. sent5: if something is anal then it does reissue Nernst. sent6: something is not a kind of a raggedness but it pumps. sent7: if there is something such that the fact that it does not prank and does not tally is not correct then the tocsin consternates kike. sent8: if the tocsin reissues Nernst but it does not card the anorthite consternates proctor. sent9: something does reissue Nernst but it is not a kind of a cards if it is anal. sent10: the fact that the tocsin consternates princewood and does consternate kike does not hold if the nailbrush is not anal. sent11: if the anorthite consternates kike but it does not prank then the tocsin consternates proctor. sent12: that something does not prank and it does not tally does not hold if it does not consternate princewood. ; $proof$ = 
sent12 -> int1: the fact that the sackcloth does not prank and it does not tally is not correct if it does not consternate princewood.; sent6 & sent2 -> int2: the sackcloth does not consternate princewood.; int1 & int2 -> int3: that the sackcloth does not prank and it does not tally is not correct.; int3 -> int4: there exists something such that the fact that it does not prank and it does not tally does not hold.; int4 & sent7 -> int5: the tocsin does consternate kike.; sent1 -> int6: the tocsin is anal if it consternates kike.; int5 & int6 -> int7: the tocsin is anal.; sent9 -> int8: the tocsin reissues Nernst but it is not a cards if it is anal.; int7 & int8 -> int9: the tocsin reissues Nernst and is not a kind of a cards.; int9 & sent8 -> hypothesis; __PROVED__