the ketose is lexicostatistic.
sent1: the whistler does not repine Ward. sent2: the leak is not a kind of a diencephalon if the exorcist is a kind of a stereoscope. sent3: if the Ottawa does not ruin then the Sophist does melanize Germany. sent4: something is not a Vespidae but it is a theurgy if it does not tram. sent5: the Sophist does melanize Germany if the Ottawa is a kind of a diencephalon. sent6: the Ottawa trams if the fact that the exorcist is a Vespidae is right. sent7: that the joinery does consolidate and does singularize Sophist is false if the whistler does not repine Ward. sent8: if something trams then it is a diencephalon or it does not ruin or both. sent9: if there exists something such that the fact that it consolidates and it does singularize Sophist is not correct then the exorcist is not a kind of a theurgy. sent10: The Ward does not repine whistler. sent11: if something is not a kind of a Vespidae and does repine stereotyped that it is a kind of a theurgy is not false. sent12: the ketose is lexicostatistic if the Sophist melanizes Germany.
void -> assump1: Let's assume that the fact that the exorcist is not a Vespidae hold.; sent11 -> int1: if the exorcist is not a Vespidae but it repines stereotyped it is a theurgy.; sent7 & sent1 -> int2: the fact that the joinery does consolidate and singularizes Sophist is false.; int2 -> int3: there is something such that that it consolidates and it does singularize Sophist is not correct.; int3 & sent9 -> int4: the exorcist is not a theurgy.; sent8 -> int5: the Ottawa is a diencephalon and/or not a ruin if that it does tram hold.;
the leak is not a diencephalon.
sent4 -> int6: the Ottawa is not a kind of a Vespidae but it is a kind of a theurgy if it does not tram.;
$hypothesis$ = the ketose is lexicostatistic. ; $context$ = sent1: the whistler does not repine Ward. sent2: the leak is not a kind of a diencephalon if the exorcist is a kind of a stereoscope. sent3: if the Ottawa does not ruin then the Sophist does melanize Germany. sent4: something is not a Vespidae but it is a theurgy if it does not tram. sent5: the Sophist does melanize Germany if the Ottawa is a kind of a diencephalon. sent6: the Ottawa trams if the fact that the exorcist is a Vespidae is right. sent7: that the joinery does consolidate and does singularize Sophist is false if the whistler does not repine Ward. sent8: if something trams then it is a diencephalon or it does not ruin or both. sent9: if there exists something such that the fact that it consolidates and it does singularize Sophist is not correct then the exorcist is not a kind of a theurgy. sent10: The Ward does not repine whistler. sent11: if something is not a kind of a Vespidae and does repine stereotyped that it is a kind of a theurgy is not false. sent12: the ketose is lexicostatistic if the Sophist melanizes Germany. ; $proof$ = 
void -> assump1: Let's assume that the fact that the exorcist is not a Vespidae hold.; sent11 -> int1: if the exorcist is not a Vespidae but it repines stereotyped it is a theurgy.; sent7 & sent1 -> int2: the fact that the joinery does consolidate and singularizes Sophist is false.; int2 -> int3: there is something such that that it consolidates and it does singularize Sophist is not correct.; int3 & sent9 -> int4: the exorcist is not a theurgy.; sent8 -> int5: the Ottawa is a diencephalon and/or not a ruin if that it does tram hold.; __UNKNOWN__