the petrifaction does not consort niece.
sent1: the petrifaction is not a bog and/or is not precancerous. sent2: the petrifaction does not voice if there is something such that it is not a kind of a left. sent3: the fact that if there is something such that that it is nonresidential a left is wrong that the petrifaction is not a voice is true is not false. sent4: the slammer is not a kind of a left or is not a voice or both. sent5: something is nonresidential and it is a left. sent6: if the fact that the petrifaction does not voice and it does not bog is not wrong then it does not consort niece. sent7: that the slammer is nonresidential and it is a left does not hold. sent8: if either something does not bog or it is not precancerous or both it is not a bog.
sent7 -> int1: there is something such that the fact that it is nonresidential and it is a left is false.; int1 & sent3 -> int2: the petrifaction is not a voice.; sent8 -> int3: if the petrifaction is not a bog and/or it is not precancerous then it does not bog.; int3 & sent1 -> int4: the petrifaction is not a bog.; int2 & int4 -> int5: the petrifaction is both not a voice and not a bog.; int5 & sent6 -> hypothesis;
$hypothesis$ = the petrifaction does not consort niece. ; $context$ = sent1: the petrifaction is not a bog and/or is not precancerous. sent2: the petrifaction does not voice if there is something such that it is not a kind of a left. sent3: the fact that if there is something such that that it is nonresidential a left is wrong that the petrifaction is not a voice is true is not false. sent4: the slammer is not a kind of a left or is not a voice or both. sent5: something is nonresidential and it is a left. sent6: if the fact that the petrifaction does not voice and it does not bog is not wrong then it does not consort niece. sent7: that the slammer is nonresidential and it is a left does not hold. sent8: if either something does not bog or it is not precancerous or both it is not a bog. ; $proof$ = 
sent7 -> int1: there is something such that the fact that it is nonresidential and it is a left is false.; int1 & sent3 -> int2: the petrifaction is not a voice.; sent8 -> int3: if the petrifaction is not a bog and/or it is not precancerous then it does not bog.; int3 & sent1 -> int4: the petrifaction is not a bog.; int2 & int4 -> int5: the petrifaction is both not a voice and not a bog.; int5 & sent6 -> hypothesis; __PROVED__