the optician does not entrust zeaxanthin.
sent1: if there exists something such that it is non-microeconomics thing that orbs article then the mine does entrust tremble. sent2: the optician does not entrust zeaxanthin if the fact that the tremble is not microeconomics but it orbs article is not correct. sent3: that the fact that the article is not a hall and it is not a kind of a violation is right is incorrect if it is not a kind of a locker. sent4: the fact that if the mine entrusts tremble the article is not a violation and entrusts tremble hold. sent5: if that the article is not a hall and not a violation is false then it is a violation. sent6: the article is not a locker.
void -> assump1: Let's assume that the tremble is not microeconomics and does orb article.; assump1 -> int1: something is not microeconomics but it orbs article.; int1 & sent1 -> int2: the mine does entrust tremble.; int2 & sent4 -> int3: the article is not a violation and entrusts tremble.; int3 -> int4: the article is not a violation.; sent3 & sent6 -> int5: that the article is not a hall and is not a violation is not right.; sent5 & int5 -> int6: the article is a violation.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: that the tremble is non-microeconomics thing that orbs article is not right.; int8 & sent2 -> hypothesis;
$hypothesis$ = the optician does not entrust zeaxanthin. ; $context$ = sent1: if there exists something such that it is non-microeconomics thing that orbs article then the mine does entrust tremble. sent2: the optician does not entrust zeaxanthin if the fact that the tremble is not microeconomics but it orbs article is not correct. sent3: that the fact that the article is not a hall and it is not a kind of a violation is right is incorrect if it is not a kind of a locker. sent4: the fact that if the mine entrusts tremble the article is not a violation and entrusts tremble hold. sent5: if that the article is not a hall and not a violation is false then it is a violation. sent6: the article is not a locker. ; $proof$ = 
void -> assump1: Let's assume that the tremble is not microeconomics and does orb article.; assump1 -> int1: something is not microeconomics but it orbs article.; int1 & sent1 -> int2: the mine does entrust tremble.; int2 & sent4 -> int3: the article is not a violation and entrusts tremble.; int3 -> int4: the article is not a violation.; sent3 & sent6 -> int5: that the article is not a hall and is not a violation is not right.; sent5 & int5 -> int6: the article is a violation.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: that the tremble is non-microeconomics thing that orbs article is not right.; int8 & sent2 -> hypothesis; __PROVED__