the reminder outstares townee and is a place-kicker.
sent1: if the darter is not a kind of a Ernst that the silva is a butternut and does not piddle ankle is not true. sent2: the reminder does outstare townee. sent3: the fact that something outstares townee and is a place-kicker is not right if it does not piddle Ball. sent4: if the fact that the silva is a kind of a butternut that does not piddle ankle does not hold the reminder is not a Alsatian. sent5: the ankle is not a place-kicker. sent6: the ankle is not a Emberizidae. sent7: if something is not a kind of a Alsatian it outstares townee and is a place-kicker. sent8: if the reminder is not a kind of a Alsatian then it outstares townee. sent9: the reminder does transmit and does piddle ankle. sent10: something is not a kind of a Portuguese. sent11: there is something such that it does not piddle Ball. sent12: the darter is not a kind of an acclaim if there is something such that it does not piddle Ball. sent13: if the reminder is not a Ernst then that the darter outstares townee and does not piddle ankle does not hold. sent14: that the darter is a Ernst hold if it is not a kind of a butternut. sent15: that the reminder is not Alsatian is not incorrect if the silva does piddle ankle. sent16: there is something such that it piddles Ball. sent17: there is something such that it does not piddle ankle. sent18: that the silva is a butternut and it piddles ankle does not hold if the darter is not a Ernst. sent19: if something is not a kind of a Alsatian then it does outstare townee. sent20: the silva does not acclaim. sent21: the ankle is a Emberizidae if the darter is both not an acclaim and a Ernst.
sent11 & sent12 -> int1: that the darter is not an acclaim hold.; void -> assump1: Let's assume that the darter is a Ernst.; int1 & assump1 -> int2: the darter is not an acclaim and is a Ernst.; int2 & sent21 -> int3: the fact that the ankle is a kind of a Emberizidae is correct.; int3 & sent6 -> int4: this is contradiction.; [assump1] & int4 -> int5: the darter is not a Ernst.; int5 & sent1 -> int6: that the silva is a butternut and does not piddle ankle is wrong.; int6 & sent4 -> int7: the reminder is not a Alsatian.; sent7 -> int8: the reminder outstares townee and is a place-kicker if it is not Alsatian.; int7 & int8 -> hypothesis;
that the reminder outstares townee and it is a place-kicker is not true.
sent3 -> int9: that the reminder outstares townee and it is a place-kicker does not hold if it does not piddle Ball.;
$hypothesis$ = the reminder outstares townee and is a place-kicker. ; $context$ = sent1: if the darter is not a kind of a Ernst that the silva is a butternut and does not piddle ankle is not true. sent2: the reminder does outstare townee. sent3: the fact that something outstares townee and is a place-kicker is not right if it does not piddle Ball. sent4: if the fact that the silva is a kind of a butternut that does not piddle ankle does not hold the reminder is not a Alsatian. sent5: the ankle is not a place-kicker. sent6: the ankle is not a Emberizidae. sent7: if something is not a kind of a Alsatian it outstares townee and is a place-kicker. sent8: if the reminder is not a kind of a Alsatian then it outstares townee. sent9: the reminder does transmit and does piddle ankle. sent10: something is not a kind of a Portuguese. sent11: there is something such that it does not piddle Ball. sent12: the darter is not a kind of an acclaim if there is something such that it does not piddle Ball. sent13: if the reminder is not a Ernst then that the darter outstares townee and does not piddle ankle does not hold. sent14: that the darter is a Ernst hold if it is not a kind of a butternut. sent15: that the reminder is not Alsatian is not incorrect if the silva does piddle ankle. sent16: there is something such that it piddles Ball. sent17: there is something such that it does not piddle ankle. sent18: that the silva is a butternut and it piddles ankle does not hold if the darter is not a Ernst. sent19: if something is not a kind of a Alsatian then it does outstare townee. sent20: the silva does not acclaim. sent21: the ankle is a Emberizidae if the darter is both not an acclaim and a Ernst. ; $proof$ = 
sent11 & sent12 -> int1: that the darter is not an acclaim hold.; void -> assump1: Let's assume that the darter is a Ernst.; int1 & assump1 -> int2: the darter is not an acclaim and is a Ernst.; int2 & sent21 -> int3: the fact that the ankle is a kind of a Emberizidae is correct.; int3 & sent6 -> int4: this is contradiction.; [assump1] & int4 -> int5: the darter is not a Ernst.; int5 & sent1 -> int6: that the silva is a butternut and does not piddle ankle is wrong.; int6 & sent4 -> int7: the reminder is not a Alsatian.; sent7 -> int8: the reminder outstares townee and is a place-kicker if it is not Alsatian.; int7 & int8 -> hypothesis; __PROVED__