the papoose is a wrestle.
sent1: something is a kind of a vermouth if it is both a nod and not a pacification. sent2: the hematocrit is not a wrestle if the stamp does wrestle. sent3: the papoose wrestles if there exists something such that that it is a kind of a screenplay that is not a Mark does not hold. sent4: the hematocrit is not a feeder if the fact that the stamp is a feeder hold. sent5: if the hematocrit is a screenplay and not a Mark then it is a kind of a feeder. sent6: the stamp is a kind of a feeder. sent7: the fact that something is a wrestle but it is not a feeder is not true if it headlines. sent8: something is a screenplay but it is not a kind of a Mark.
void -> assump1: Let's assume that the hematocrit is a screenplay but it is not a Mark.; sent5 & assump1 -> int1: the hematocrit is a kind of a feeder.; sent4 & sent6 -> int2: the hematocrit is not a feeder.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the hematocrit is a screenplay that is not a Mark does not hold.; int4 -> int5: there exists something such that the fact that it is a kind of a screenplay and is not a Mark is incorrect.; int5 & sent3 -> hypothesis;
that the papoose is a vermouth hold if it does nod and is not a pacification.
sent1 -> hypothesis;
$hypothesis$ = the papoose is a wrestle. ; $context$ = sent1: something is a kind of a vermouth if it is both a nod and not a pacification. sent2: the hematocrit is not a wrestle if the stamp does wrestle. sent3: the papoose wrestles if there exists something such that that it is a kind of a screenplay that is not a Mark does not hold. sent4: the hematocrit is not a feeder if the fact that the stamp is a feeder hold. sent5: if the hematocrit is a screenplay and not a Mark then it is a kind of a feeder. sent6: the stamp is a kind of a feeder. sent7: the fact that something is a wrestle but it is not a feeder is not true if it headlines. sent8: something is a screenplay but it is not a kind of a Mark. ; $proof$ = 
void -> assump1: Let's assume that the hematocrit is a screenplay but it is not a Mark.; sent5 & assump1 -> int1: the hematocrit is a kind of a feeder.; sent4 & sent6 -> int2: the hematocrit is not a feeder.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the hematocrit is a screenplay that is not a Mark does not hold.; int4 -> int5: there exists something such that the fact that it is a kind of a screenplay and is not a Mark is incorrect.; int5 & sent3 -> hypothesis; __PROVED__