the ex-wife does not rewrite.
sent1: if that the pod is a salvo and it is a kind of a 1860s is wrong the polyfoam is not Wilsonian. sent2: if that the ex-wife is somatosensory and it is Wilsonian is wrong the handbow is not a rewrite. sent3: if the handbow is not Wilsonian then the ex-wife does not rewrite. sent4: the ex-wife does not rewrite if the handbow is not somatosensory. sent5: if the handbow is not a disregard then the pod is not Wilsonian. sent6: if the polyfoam is a kind of a rewrite then the ex-wife rewrite. sent7: that if the ex-wife is not a kind of a salvo then the pod rewrites hold. sent8: the fact that the handbow is not a guarantee and/or it is not somatosensory hold. sent9: if the fact that the handbow is not a disregard and not a guarantee is wrong it is non-Wilsonian. sent10: that something is both a salvo and a 1860s is not true if it does not dab inviting. sent11: the handbow is a salvo if the pod is not a 1860s. sent12: that the pod does not guarantee and it is not a disregard is not right. sent13: the pod does not dab inviting if the fact that it is not a kind of a guarantee and it is not a kind of a disregard does not hold. sent14: if the polyfoam is not Wilsonian then the handbow is either not somatosensory or not Wilsonian or both. sent15: the pod is not a disregard or it is not a rewrite or both. sent16: if the handbow is not a kind of a guarantee then the pod is not a kind of a 1860s or it is not a guarantee or both.
sent10 -> int1: that the pod is both a salvo and a 1860s is false if it does not dab inviting.; sent13 & sent12 -> int2: the pod does not dab inviting.; int1 & int2 -> int3: that the pod is a salvo that is a kind of a 1860s does not hold.; int3 & sent1 -> int4: that the polyfoam is not Wilsonian hold.; int4 & sent14 -> int5: the handbow either is not somatosensory or is not Wilsonian or both.; int5 & sent4 & sent3 -> hypothesis;
that the ex-wife rewrites is not wrong.
$hypothesis$ = the ex-wife does not rewrite. ; $context$ = sent1: if that the pod is a salvo and it is a kind of a 1860s is wrong the polyfoam is not Wilsonian. sent2: if that the ex-wife is somatosensory and it is Wilsonian is wrong the handbow is not a rewrite. sent3: if the handbow is not Wilsonian then the ex-wife does not rewrite. sent4: the ex-wife does not rewrite if the handbow is not somatosensory. sent5: if the handbow is not a disregard then the pod is not Wilsonian. sent6: if the polyfoam is a kind of a rewrite then the ex-wife rewrite. sent7: that if the ex-wife is not a kind of a salvo then the pod rewrites hold. sent8: the fact that the handbow is not a guarantee and/or it is not somatosensory hold. sent9: if the fact that the handbow is not a disregard and not a guarantee is wrong it is non-Wilsonian. sent10: that something is both a salvo and a 1860s is not true if it does not dab inviting. sent11: the handbow is a salvo if the pod is not a 1860s. sent12: that the pod does not guarantee and it is not a disregard is not right. sent13: the pod does not dab inviting if the fact that it is not a kind of a guarantee and it is not a kind of a disregard does not hold. sent14: if the polyfoam is not Wilsonian then the handbow is either not somatosensory or not Wilsonian or both. sent15: the pod is not a disregard or it is not a rewrite or both. sent16: if the handbow is not a kind of a guarantee then the pod is not a kind of a 1860s or it is not a guarantee or both. ; $proof$ = 
sent10 -> int1: that the pod is both a salvo and a 1860s is false if it does not dab inviting.; sent13 & sent12 -> int2: the pod does not dab inviting.; int1 & int2 -> int3: that the pod is a salvo that is a kind of a 1860s does not hold.; int3 & sent1 -> int4: that the polyfoam is not Wilsonian hold.; int4 & sent14 -> int5: the handbow either is not somatosensory or is not Wilsonian or both.; int5 & sent4 & sent3 -> hypothesis; __PROVED__