there exists something such that if it is not a kind of a pyrope then it is not an impossible and/or it is not coarse.
sent1: something is a pyrope if the fact that either it is not an impossible or it is not coarse or both does not hold. sent2: the dot preoccupies Jinghpo. sent3: if the putrescine is not a kind of a tarriance that the Mojave is a sensationalist and it is a pyrope does not hold. sent4: the katamorphism is a pottage if that it is not coarse and/or it preoccupies pointedness does not hold. sent5: there is something such that if it is not a pyrope then it is an impossible and/or is not coarse. sent6: if that something is a sensationalist and it is a kind of a pyrope is wrong then it is not a kind of a pyrope. sent7: the dot is a kind of an incidental.
sent1 -> int1: the dot is a pyrope if the fact that the fact that it is possible or non-coarse or both is correct is not right.; void -> assump2: Let's assume that the fact that the dot is either not impossible or not coarse or both is false.; int1 & assump2 -> int2: the dot is a pyrope.; void -> assump1: Let's assume that the dot is not a pyrope.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: that the dot is not an impossible and/or it is not coarse is not incorrect.; [assump1] & int4 -> int5: if the dot is not a pyrope it is not impossible and/or is not coarse.; int5 -> hypothesis;
the Mojave is not a pyrope.
sent6 -> int6: the Mojave is not a pyrope if that it is both a sensationalist and a pyrope does not hold.;
$hypothesis$ = there exists something such that if it is not a kind of a pyrope then it is not an impossible and/or it is not coarse. ; $context$ = sent1: something is a pyrope if the fact that either it is not an impossible or it is not coarse or both does not hold. sent2: the dot preoccupies Jinghpo. sent3: if the putrescine is not a kind of a tarriance that the Mojave is a sensationalist and it is a pyrope does not hold. sent4: the katamorphism is a pottage if that it is not coarse and/or it preoccupies pointedness does not hold. sent5: there is something such that if it is not a pyrope then it is an impossible and/or is not coarse. sent6: if that something is a sensationalist and it is a kind of a pyrope is wrong then it is not a kind of a pyrope. sent7: the dot is a kind of an incidental. ; $proof$ = 
sent1 -> int1: the dot is a pyrope if the fact that the fact that it is possible or non-coarse or both is correct is not right.; void -> assump2: Let's assume that the fact that the dot is either not impossible or not coarse or both is false.; int1 & assump2 -> int2: the dot is a pyrope.; void -> assump1: Let's assume that the dot is not a pyrope.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: that the dot is not an impossible and/or it is not coarse is not incorrect.; [assump1] & int4 -> int5: if the dot is not a pyrope it is not impossible and/or is not coarse.; int5 -> hypothesis; __PROVED__