something is not eligible but an overthrow.
sent1: the Mordva is a kind of an overthrow. sent2: the polyandrist is a kind of a durative if the Mordva does not get. sent3: the fact that the polyandrist is not resistive is not wrong. sent4: if something does not caper Balaenopteridae then it is not a get. sent5: something is not resistive and is inappropriate if it is not a get. sent6: if that something is not a get and capers Balaenopteridae is false that it is not eligible is not incorrect. sent7: the fact that the Mordva is a durative is not false.
void -> assump1: Let's assume that the Mordva does not get but it capers Balaenopteridae.; assump1 -> int1: the Mordva is not a get.; int1 & sent2 -> int2: the polyandrist is a durative.; sent6 -> int3: if that the Mordva does not get and capers Balaenopteridae is incorrect then it is not eligible.;
the matchbox is non-resistive thing that is inappropriate.
sent5 -> int4: if the matchbox is not a get it is not resistive and it is inappropriate.; sent4 -> int5: the matchbox is not a get if it does not caper Balaenopteridae.; sent7 -> int6: there is something such that it is a kind of a durative.;
$hypothesis$ = something is not eligible but an overthrow. ; $context$ = sent1: the Mordva is a kind of an overthrow. sent2: the polyandrist is a kind of a durative if the Mordva does not get. sent3: the fact that the polyandrist is not resistive is not wrong. sent4: if something does not caper Balaenopteridae then it is not a get. sent5: something is not resistive and is inappropriate if it is not a get. sent6: if that something is not a get and capers Balaenopteridae is false that it is not eligible is not incorrect. sent7: the fact that the Mordva is a durative is not false. ; $proof$ = 
void -> assump1: Let's assume that the Mordva does not get but it capers Balaenopteridae.; assump1 -> int1: the Mordva is not a get.; int1 & sent2 -> int2: the polyandrist is a durative.; sent6 -> int3: if that the Mordva does not get and capers Balaenopteridae is incorrect then it is not eligible.; __UNKNOWN__