the glycerite is a guard.
sent1: the Achaean is not a guard. sent2: the monocyte does box Lehar. sent3: the fugleman deplores self-esteem. sent4: if the monocyte does not box Lehar then it is not a guard. sent5: if the monocyte boxes Lehar but it is not a genet the fugleman does not deplore self-esteem. sent6: if the monocyte does not guard then the glycerite is a kind of forehanded thing that is a guard. sent7: if the monocyte does not deplore self-esteem and does not guard then the glycerite does not guard. sent8: The self-esteem deplores fugleman. sent9: something does not guard if it does not box Lehar. sent10: something is not a kind of a guard if that it does box Lehar and it is not a genet is incorrect.
void -> assump1: Let's assume that the monocyte does box Lehar but it is not a genet.; sent5 & assump1 -> int1: the fugleman does not deplore self-esteem.; int1 & sent3 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the fact that the monocyte boxes Lehar and is not a genet is correct is not true.; sent10 -> int4: the monocyte is not a kind of a guard if the fact that it boxes Lehar and it is not a genet is wrong.; int3 & int4 -> int5: the monocyte is not a kind of a guard.; int5 & sent6 -> int6: the glycerite is a forehanded and it is a guard.; int6 -> hypothesis;
the glycerite is not a guard.
$hypothesis$ = the glycerite is a guard. ; $context$ = sent1: the Achaean is not a guard. sent2: the monocyte does box Lehar. sent3: the fugleman deplores self-esteem. sent4: if the monocyte does not box Lehar then it is not a guard. sent5: if the monocyte boxes Lehar but it is not a genet the fugleman does not deplore self-esteem. sent6: if the monocyte does not guard then the glycerite is a kind of forehanded thing that is a guard. sent7: if the monocyte does not deplore self-esteem and does not guard then the glycerite does not guard. sent8: The self-esteem deplores fugleman. sent9: something does not guard if it does not box Lehar. sent10: something is not a kind of a guard if that it does box Lehar and it is not a genet is incorrect. ; $proof$ = 
void -> assump1: Let's assume that the monocyte does box Lehar but it is not a genet.; sent5 & assump1 -> int1: the fugleman does not deplore self-esteem.; int1 & sent3 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the fact that the monocyte boxes Lehar and is not a genet is correct is not true.; sent10 -> int4: the monocyte is not a kind of a guard if the fact that it boxes Lehar and it is not a genet is wrong.; int3 & int4 -> int5: the monocyte is not a kind of a guard.; int5 & sent6 -> int6: the glycerite is a forehanded and it is a guard.; int6 -> hypothesis; __PROVED__