something is a kind of a Eritrean.
sent1: if something is not a bevatron then it is not a kind of a Skagerrak and is a kind of a hobbler. sent2: the fountainhead is a kind of non-angular thing that is not a kind of a hobbler if the fact that the bullet is not a myometrium is not incorrect. sent3: that the fountainhead is a bolt that is a myometrium is wrong if the bullet is not a kind of a hobbler. sent4: if the fountainhead is a jug it is a Eritrean. sent5: if something that does not birdnest is not a dart then it is not a bevatron. sent6: if the fact that something is non-angular thing that singles involvement is not true then it does not singles involvement. sent7: that the fountainhead is not a hobbler hold. sent8: the fact that the bullet is non-abdominal thing that singles Pneumovax does not hold. sent9: if there exists something such that the fact that it does not jug and/or is Eritrean is not true then the escapement is angular. sent10: if the fountainhead is non-angular but it is a hobbler then it is a jug. sent11: the escapement is non-angular if the skysail does not jug and/or it is not non-angular. sent12: something is not a kind of a bolt if the fact that it is a bolt and it is a myometrium does not hold. sent13: the fountainhead jugs if it is not angular and it is not a hobbler. sent14: the salesperson is not a Eritrean. sent15: the fountainhead is not a kind of a hobbler if the bullet is not a myometrium. sent16: that the bullet is not non-abdominal and it does single Pneumovax is false. sent17: the bullet is a kind of non-abdominal thing that singles Pneumovax if it is a myometrium. sent18: the bullet is a myometrium and is not a kind of a hobbler if the escapement is not angular. sent19: that the scapegoat is not a kind of a hobbler is true. sent20: that the fountainhead singles acidemia hold. sent21: the bullet is not a kind of a hobbler if the skysail is not a Skagerrak but it is a hobbler. sent22: the fact that the fountainhead is not angular but it singles involvement is wrong if something is angular. sent23: there is something such that that either it is not a jug or it is not non-Eritrean or both is wrong. sent24: the bullet is not an abdominal. sent25: if the skysail is not a Mandalay it is not a birdnest and it is not a kind of a dart.
void -> assump1: Let's assume that the bullet is a kind of a myometrium.; sent17 & assump1 -> int1: the bullet is not abdominal but it singles Pneumovax.; int1 & sent8 -> int2: this is contradiction.; [assump1] & int2 -> int3: the bullet is not a myometrium.; int3 & sent2 -> int4: the fountainhead is not angular and it is not a hobbler.; int4 & sent13 -> int5: the fountainhead does jug.; int5 & sent4 -> int6: the fountainhead is Eritrean.; int6 -> hypothesis;
the fountainhead is extricable.
sent14 -> int7: there exists something such that it is not a kind of a Eritrean.;
$hypothesis$ = something is a kind of a Eritrean. ; $context$ = sent1: if something is not a bevatron then it is not a kind of a Skagerrak and is a kind of a hobbler. sent2: the fountainhead is a kind of non-angular thing that is not a kind of a hobbler if the fact that the bullet is not a myometrium is not incorrect. sent3: that the fountainhead is a bolt that is a myometrium is wrong if the bullet is not a kind of a hobbler. sent4: if the fountainhead is a jug it is a Eritrean. sent5: if something that does not birdnest is not a dart then it is not a bevatron. sent6: if the fact that something is non-angular thing that singles involvement is not true then it does not singles involvement. sent7: that the fountainhead is not a hobbler hold. sent8: the fact that the bullet is non-abdominal thing that singles Pneumovax does not hold. sent9: if there exists something such that the fact that it does not jug and/or is Eritrean is not true then the escapement is angular. sent10: if the fountainhead is non-angular but it is a hobbler then it is a jug. sent11: the escapement is non-angular if the skysail does not jug and/or it is not non-angular. sent12: something is not a kind of a bolt if the fact that it is a bolt and it is a myometrium does not hold. sent13: the fountainhead jugs if it is not angular and it is not a hobbler. sent14: the salesperson is not a Eritrean. sent15: the fountainhead is not a kind of a hobbler if the bullet is not a myometrium. sent16: that the bullet is not non-abdominal and it does single Pneumovax is false. sent17: the bullet is a kind of non-abdominal thing that singles Pneumovax if it is a myometrium. sent18: the bullet is a myometrium and is not a kind of a hobbler if the escapement is not angular. sent19: that the scapegoat is not a kind of a hobbler is true. sent20: that the fountainhead singles acidemia hold. sent21: the bullet is not a kind of a hobbler if the skysail is not a Skagerrak but it is a hobbler. sent22: the fact that the fountainhead is not angular but it singles involvement is wrong if something is angular. sent23: there is something such that that either it is not a jug or it is not non-Eritrean or both is wrong. sent24: the bullet is not an abdominal. sent25: if the skysail is not a Mandalay it is not a birdnest and it is not a kind of a dart. ; $proof$ = 
void -> assump1: Let's assume that the bullet is a kind of a myometrium.; sent17 & assump1 -> int1: the bullet is not abdominal but it singles Pneumovax.; int1 & sent8 -> int2: this is contradiction.; [assump1] & int2 -> int3: the bullet is not a myometrium.; int3 & sent2 -> int4: the fountainhead is not angular and it is not a hobbler.; int4 & sent13 -> int5: the fountainhead does jug.; int5 & sent4 -> int6: the fountainhead is Eritrean.; int6 -> hypothesis; __PROVED__