the fact that the fact that the macaque is not a kind of a southwester is wrong if the countrywoman is a Arminian is wrong.
sent1: if the countrywoman shops Rockford and/or it is a intransitive then it is not a kind of a Arminian. sent2: if the vomer is not ethical and not Spanish then it is not a kind of a branch. sent3: if the vomer is not macaronic then it is not ethical and it is not a Spanish. sent4: if the countrywoman is a southwester and Arminian then the tabbouleh is not a Arminian. sent5: if something is not Arminian the fact that it does not shop Rockford and is not a kind of a intransitive hold. sent6: the fact that something is a kind of a mixed-blood and is a diuretic is false if it is not a branch. sent7: if the macaque is not a diuretic then the countrywoman is a southwester that is a Arminian. sent8: if that the countrywoman does not shop Rockford is right the macaque is a southwester.
void -> assump1: Let's assume that the countrywoman is a Arminian.; void -> assump2: Let's assume that the countrywoman shops Rockford.; assump2 -> int1: the countrywoman does shop Rockford or is intransitive or both.; sent1 & int1 -> int2: the countrywoman is not a kind of a Arminian.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the countrywoman does not shop Rockford.; sent8 & int4 -> int5: the macaque is a kind of a southwester.; [assump1] & int5 -> hypothesis;
the tabbouleh does not shop Rockford.
sent5 -> int6: the tabbouleh does not shop Rockford and it is not a intransitive if it is not a Arminian.; sent6 -> int7: that the vomer is both a mixed-blood and a diuretic is false if it is not a kind of a branch.;
$hypothesis$ = the fact that the fact that the macaque is not a kind of a southwester is wrong if the countrywoman is a Arminian is wrong. ; $context$ = sent1: if the countrywoman shops Rockford and/or it is a intransitive then it is not a kind of a Arminian. sent2: if the vomer is not ethical and not Spanish then it is not a kind of a branch. sent3: if the vomer is not macaronic then it is not ethical and it is not a Spanish. sent4: if the countrywoman is a southwester and Arminian then the tabbouleh is not a Arminian. sent5: if something is not Arminian the fact that it does not shop Rockford and is not a kind of a intransitive hold. sent6: the fact that something is a kind of a mixed-blood and is a diuretic is false if it is not a branch. sent7: if the macaque is not a diuretic then the countrywoman is a southwester that is a Arminian. sent8: if that the countrywoman does not shop Rockford is right the macaque is a southwester. ; $proof$ = 
void -> assump1: Let's assume that the countrywoman is a Arminian.; void -> assump2: Let's assume that the countrywoman shops Rockford.; assump2 -> int1: the countrywoman does shop Rockford or is intransitive or both.; sent1 & int1 -> int2: the countrywoman is not a kind of a Arminian.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the countrywoman does not shop Rockford.; sent8 & int4 -> int5: the macaque is a kind of a southwester.; [assump1] & int5 -> hypothesis; __DISPROVED__