the Nganasan is not inconsolable if the precordium is not a kind of a model.
sent1: the Nganasan is not a self-control but it is inconsolable if it is not a model. sent2: the fact that the rally is a kind of a nosewheel is not wrong if it is a self-control. sent3: the precordium is not a Acanthocephala but it is a tanbark if it does model. sent4: if the precordium is not a kind of a Acanthocephala but it is a kind of a tanbark the Nganasan is a kind of a nosewheel. sent5: something that is a nosewheel and/or is not a kind of a self-control is consolable. sent6: if the precordium is not a model then it is not a Acanthocephala. sent7: a nosewheel is not a Arrhenatherum but a model. sent8: the precordium is not a Acanthocephala but a tanbark if it is not a kind of a model. sent9: if the precordium is not a model then the Nganasan is inconsolable.
void -> assump1: Let's assume that that the precordium is not a model is right.; sent8 & assump1 -> int1: the precordium is both not a Acanthocephala and a tanbark.; int1 & sent4 -> int2: the fact that the Nganasan is a kind of a nosewheel hold.; int2 -> int3: that the Nganasan is a kind of a nosewheel and/or it is not a kind of a self-control is not wrong.; sent5 -> int4: the Nganasan is not inconsolable if it is a nosewheel and/or it is not a self-control.; int3 & int4 -> int5: that the Nganasan is not inconsolable is not false.; [assump1] & int5 -> hypothesis;
the rally is both not a Arrhenatherum and a model.
sent7 -> int6: if the rally is a kind of a nosewheel it is not a Arrhenatherum and it is a kind of a model.;
$hypothesis$ = the Nganasan is not inconsolable if the precordium is not a kind of a model. ; $context$ = sent1: the Nganasan is not a self-control but it is inconsolable if it is not a model. sent2: the fact that the rally is a kind of a nosewheel is not wrong if it is a self-control. sent3: the precordium is not a Acanthocephala but it is a tanbark if it does model. sent4: if the precordium is not a kind of a Acanthocephala but it is a kind of a tanbark the Nganasan is a kind of a nosewheel. sent5: something that is a nosewheel and/or is not a kind of a self-control is consolable. sent6: if the precordium is not a model then it is not a Acanthocephala. sent7: a nosewheel is not a Arrhenatherum but a model. sent8: the precordium is not a Acanthocephala but a tanbark if it is not a kind of a model. sent9: if the precordium is not a model then the Nganasan is inconsolable. ; $proof$ = 
void -> assump1: Let's assume that that the precordium is not a model is right.; sent8 & assump1 -> int1: the precordium is both not a Acanthocephala and a tanbark.; int1 & sent4 -> int2: the fact that the Nganasan is a kind of a nosewheel hold.; int2 -> int3: that the Nganasan is a kind of a nosewheel and/or it is not a kind of a self-control is not wrong.; sent5 -> int4: the Nganasan is not inconsolable if it is a nosewheel and/or it is not a self-control.; int3 & int4 -> int5: that the Nganasan is not inconsolable is not false.; [assump1] & int5 -> hypothesis; __PROVED__