the Herero is a Bankia.
sent1: there is something such that it is a ghee. sent2: the tarpan is a Indigofera but it is not a lexicology if something is a Bankia. sent3: if something is a lexicology the tarpan is a Indigofera but not biographic. sent4: the tarpan is a Indigofera but it does not immortalize Georgian. sent5: the pinchgut immortalizes Georgian. sent6: something is biographic if it is a kind of a lexicology. sent7: the Herero immortalizes Georgian if the Georgian is a side but it does not checkmate chute-the-chute. sent8: the horsehide does immortalize Georgian. sent9: something is cytolytic. sent10: the lysosome does not immortalize Herero if the tarpan is a kind of a Indigofera that is not biographic. sent11: the pinchgut is a ghee and a lexicology. sent12: if that the Georgian does not immortalize Georgian but it checkmates chute-the-chute hold then it immortalizes Herero. sent13: if the tarpan is not a ghee then that the pinchgut is not a kind of a lexicology is not wrong. sent14: if there is something such that it does not immortalize Herero then the Georgian sides but it does not checkmate chute-the-chute. sent15: something does side if it is a side and/or it is not a lexicology. sent16: there is something such that it is a kind of a Indigofera. sent17: if the Georgian immortalizes Herero the fact that the lysosome is both a Indigofera and not biographic is wrong. sent18: something is a Bankia if it immortalizes Georgian.
sent11 -> int1: the pinchgut is a lexicology.; int1 -> int2: there exists something such that it is a lexicology.; int2 & sent3 -> int3: the tarpan is a kind of a Indigofera that is not biographic.; int3 & sent10 -> int4: the lysosome does not immortalize Herero.; int4 -> int5: there is something such that it does not immortalize Herero.; int5 & sent14 -> int6: the Georgian is a kind of side thing that does not checkmate chute-the-chute.; int6 & sent7 -> int7: the Herero immortalizes Georgian.; sent18 -> int8: the Herero is a Bankia if it does immortalize Georgian.; int7 & int8 -> hypothesis;
the Herero sides.
sent15 -> int9: that the Herero is a side is not incorrect if it is a side and/or it is not a lexicology.;
$hypothesis$ = the Herero is a Bankia. ; $context$ = sent1: there is something such that it is a ghee. sent2: the tarpan is a Indigofera but it is not a lexicology if something is a Bankia. sent3: if something is a lexicology the tarpan is a Indigofera but not biographic. sent4: the tarpan is a Indigofera but it does not immortalize Georgian. sent5: the pinchgut immortalizes Georgian. sent6: something is biographic if it is a kind of a lexicology. sent7: the Herero immortalizes Georgian if the Georgian is a side but it does not checkmate chute-the-chute. sent8: the horsehide does immortalize Georgian. sent9: something is cytolytic. sent10: the lysosome does not immortalize Herero if the tarpan is a kind of a Indigofera that is not biographic. sent11: the pinchgut is a ghee and a lexicology. sent12: if that the Georgian does not immortalize Georgian but it checkmates chute-the-chute hold then it immortalizes Herero. sent13: if the tarpan is not a ghee then that the pinchgut is not a kind of a lexicology is not wrong. sent14: if there is something such that it does not immortalize Herero then the Georgian sides but it does not checkmate chute-the-chute. sent15: something does side if it is a side and/or it is not a lexicology. sent16: there is something such that it is a kind of a Indigofera. sent17: if the Georgian immortalizes Herero the fact that the lysosome is both a Indigofera and not biographic is wrong. sent18: something is a Bankia if it immortalizes Georgian. ; $proof$ = 
sent11 -> int1: the pinchgut is a lexicology.; int1 -> int2: there exists something such that it is a lexicology.; int2 & sent3 -> int3: the tarpan is a kind of a Indigofera that is not biographic.; int3 & sent10 -> int4: the lysosome does not immortalize Herero.; int4 -> int5: there is something such that it does not immortalize Herero.; int5 & sent14 -> int6: the Georgian is a kind of side thing that does not checkmate chute-the-chute.; int6 & sent7 -> int7: the Herero immortalizes Georgian.; sent18 -> int8: the Herero is a Bankia if it does immortalize Georgian.; int7 & int8 -> hypothesis; __PROVED__