the wether does not price copy.
sent1: something that is not a kind of a fling does not price copy and is not a dowdiness. sent2: if something does fling then it is not shrubby. sent3: if that the muffler is not a cation is right then the alkahest is a cartwheel and/or testicular. sent4: if something is not shrubby then that it is an earthenware hold. sent5: there exists something such that it is not a kind of a cation and/or it does exclude fender-bender. sent6: that the wether is not a kind of the earthenware if the wether is not testicular and/or does not cartwheel is not false. sent7: if the alkahest is not a dowdiness the Marseille is not shrubby and it is not an earthenware. sent8: that the square does not price copy but it does fling is not correct if the fact that the Marseille is not an earthenware is true. sent9: either the wether is not testicular or it is not a cartwheel or both.
sent2 -> int1: the wether is not shrubby if it is a fling.; void -> assump1: Let's assume that the wether is a fling.; int1 & assump1 -> int2: that the wether is not shrubby is right.; sent4 -> int3: the wether is a kind of an earthenware if it is not shrubby.; int2 & int3 -> int4: the fact that the wether is an earthenware is not incorrect.; sent6 & sent9 -> int5: the wether is not an earthenware.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the wether does not fling.; sent1 -> int8: if the wether is not a fling then it does not price copy and is not a dowdiness.; int7 & int8 -> int9: the wether does not price copy and is not a dowdiness.; int9 -> hypothesis;
the wether does price copy.
$hypothesis$ = the wether does not price copy. ; $context$ = sent1: something that is not a kind of a fling does not price copy and is not a dowdiness. sent2: if something does fling then it is not shrubby. sent3: if that the muffler is not a cation is right then the alkahest is a cartwheel and/or testicular. sent4: if something is not shrubby then that it is an earthenware hold. sent5: there exists something such that it is not a kind of a cation and/or it does exclude fender-bender. sent6: that the wether is not a kind of the earthenware if the wether is not testicular and/or does not cartwheel is not false. sent7: if the alkahest is not a dowdiness the Marseille is not shrubby and it is not an earthenware. sent8: that the square does not price copy but it does fling is not correct if the fact that the Marseille is not an earthenware is true. sent9: either the wether is not testicular or it is not a cartwheel or both. ; $proof$ = 
sent2 -> int1: the wether is not shrubby if it is a fling.; void -> assump1: Let's assume that the wether is a fling.; int1 & assump1 -> int2: that the wether is not shrubby is right.; sent4 -> int3: the wether is a kind of an earthenware if it is not shrubby.; int2 & int3 -> int4: the fact that the wether is an earthenware is not incorrect.; sent6 & sent9 -> int5: the wether is not an earthenware.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the wether does not fling.; sent1 -> int8: if the wether is not a fling then it does not price copy and is not a dowdiness.; int7 & int8 -> int9: the wether does not price copy and is not a dowdiness.; int9 -> hypothesis; __PROVED__