the alexandrite is not lowborn.
sent1: the alexandrite is lowborn if there are non-syntactic things. sent2: that the man-eater is either a tourist or not a laxative or both is not true if it is a kind of a bassist. sent3: that the man-eater is a bassist is right. sent4: the foster-daughter is not syntactic but it brads idiolatry if it does not brad Doric. sent5: the alexandrite is lowborn if there exists something such that that it brads Doric and is syntactic is not right. sent6: if something does not brad idiolatry then the fact that it does brad Doric and is syntactic is false. sent7: something that does brad idiolatry is a kind of a tourist and/or is not laxative. sent8: that the man-eater is citrous and/or it is not a predestination is false.
sent7 -> int1: if the man-eater does brad idiolatry then it either is a kind of a tourist or is not a laxative or both.; void -> assump1: Let's assume that the man-eater does brad idiolatry.; int1 & assump1 -> int2: the man-eater is a tourist or it is not a laxative or both.; sent2 & sent3 -> int3: the fact that the man-eater is a tourist and/or is not a kind of a laxative is wrong.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the man-eater does not brad idiolatry.; sent6 -> int6: if the man-eater does not brad idiolatry the fact that it brads Doric and is syntactic is not correct.; int5 & int6 -> int7: the fact that the man-eater brads Doric and it is syntactic is false.; int7 -> int8: there is something such that that it brads Doric and is syntactic is not correct.; int8 & sent5 -> hypothesis;
the alexandrite is not a laxative.
$hypothesis$ = the alexandrite is not lowborn. ; $context$ = sent1: the alexandrite is lowborn if there are non-syntactic things. sent2: that the man-eater is either a tourist or not a laxative or both is not true if it is a kind of a bassist. sent3: that the man-eater is a bassist is right. sent4: the foster-daughter is not syntactic but it brads idiolatry if it does not brad Doric. sent5: the alexandrite is lowborn if there exists something such that that it brads Doric and is syntactic is not right. sent6: if something does not brad idiolatry then the fact that it does brad Doric and is syntactic is false. sent7: something that does brad idiolatry is a kind of a tourist and/or is not laxative. sent8: that the man-eater is citrous and/or it is not a predestination is false. ; $proof$ = 
sent7 -> int1: if the man-eater does brad idiolatry then it either is a kind of a tourist or is not a laxative or both.; void -> assump1: Let's assume that the man-eater does brad idiolatry.; int1 & assump1 -> int2: the man-eater is a tourist or it is not a laxative or both.; sent2 & sent3 -> int3: the fact that the man-eater is a tourist and/or is not a kind of a laxative is wrong.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the man-eater does not brad idiolatry.; sent6 -> int6: if the man-eater does not brad idiolatry the fact that it brads Doric and is syntactic is not correct.; int5 & int6 -> int7: the fact that the man-eater brads Doric and it is syntactic is false.; int7 -> int8: there is something such that that it brads Doric and is syntactic is not correct.; int8 & sent5 -> hypothesis; __DISPROVED__