the detective is not a Algeripithecus.
sent1: the fact that the detective is a kind of an interpreter that is not a graveness is wrong. sent2: the quintuplet is a Tarzan but it does not lean detective if the oeuvre is not a kind of an anniversary. sent3: the bars is not inshore. sent4: the fact that the schlockmeister is not a gearing is not incorrect. sent5: the fact that the viricide is both not non-bohemian and not an anniversary is not correct if the schlockmeister does not repine Merrimack. sent6: the detective is sacramental. sent7: if the detective is sacramental then it is inshore. sent8: the detective is not inshore if it is a kind of an interpreter that is not a graveness. sent9: if the fact that the viricide is a kind of bohemian thing that is not an anniversary is not right then the oeuvre is not a kind of an anniversary. sent10: something is not a kind of a Algeripithecus if that it is not an interpreter and it is not a graveness does not hold. sent11: if something is not illegitimate that it is inshore or it is not sacramental or both is not right. sent12: if the quintuplet is a Tarzan but it does not lean detective then the rhodochrosite is not a drudge. sent13: the schlockmeister is supportive. sent14: that something is inhospitable but it is not a imperiousness does not hold if it is not a kind of a drudge. sent15: if the detective is not an interpreter and it is not a graveness it is not inshore. sent16: if the schlockmeister is supportive but it is not a gearing then it does not repine Merrimack.
void -> assump1: Let's assume that the detective is not an interpreter and it is not a kind of a graveness.; sent15 & assump1 -> int1: the detective is not inshore.; sent7 & sent6 -> int2: the detective is inshore.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the fact that the detective is not an interpreter and is not a graveness is not incorrect does not hold.; sent10 -> int5: if that the detective is not an interpreter and it is not a graveness is incorrect then it is not a kind of a Algeripithecus.; int4 & int5 -> hypothesis;
the detective is a Algeripithecus.
sent11 -> int6: if the nicotine is not illegitimate then the fact that it is inshore and/or is not sacramental is not correct.; sent14 -> int7: that the rhodochrosite is inhospitable and is not a kind of a imperiousness is false if it is not a drudge.; sent13 & sent4 -> int8: the schlockmeister is both supportive and not a gearing.; sent16 & int8 -> int9: the schlockmeister does not repine Merrimack.; sent5 & int9 -> int10: the fact that the viricide is bohemian and is not an anniversary does not hold.; sent9 & int10 -> int11: the oeuvre is not an anniversary.; sent2 & int11 -> int12: the quintuplet is a Tarzan but it does not lean detective.; sent12 & int12 -> int13: the rhodochrosite is not a drudge.; int7 & int13 -> int14: the fact that the rhodochrosite is inhospitable but it is not a imperiousness is wrong.; int14 -> int15: there is something such that the fact that it is inhospitable and it is not a imperiousness is not right.;
$hypothesis$ = the detective is not a Algeripithecus. ; $context$ = sent1: the fact that the detective is a kind of an interpreter that is not a graveness is wrong. sent2: the quintuplet is a Tarzan but it does not lean detective if the oeuvre is not a kind of an anniversary. sent3: the bars is not inshore. sent4: the fact that the schlockmeister is not a gearing is not incorrect. sent5: the fact that the viricide is both not non-bohemian and not an anniversary is not correct if the schlockmeister does not repine Merrimack. sent6: the detective is sacramental. sent7: if the detective is sacramental then it is inshore. sent8: the detective is not inshore if it is a kind of an interpreter that is not a graveness. sent9: if the fact that the viricide is a kind of bohemian thing that is not an anniversary is not right then the oeuvre is not a kind of an anniversary. sent10: something is not a kind of a Algeripithecus if that it is not an interpreter and it is not a graveness does not hold. sent11: if something is not illegitimate that it is inshore or it is not sacramental or both is not right. sent12: if the quintuplet is a Tarzan but it does not lean detective then the rhodochrosite is not a drudge. sent13: the schlockmeister is supportive. sent14: that something is inhospitable but it is not a imperiousness does not hold if it is not a kind of a drudge. sent15: if the detective is not an interpreter and it is not a graveness it is not inshore. sent16: if the schlockmeister is supportive but it is not a gearing then it does not repine Merrimack. ; $proof$ = 
void -> assump1: Let's assume that the detective is not an interpreter and it is not a kind of a graveness.; sent15 & assump1 -> int1: the detective is not inshore.; sent7 & sent6 -> int2: the detective is inshore.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the fact that the detective is not an interpreter and is not a graveness is not incorrect does not hold.; sent10 -> int5: if that the detective is not an interpreter and it is not a graveness is incorrect then it is not a kind of a Algeripithecus.; int4 & int5 -> hypothesis; __PROVED__