the Wykehamist is a kind of a NSAID.
sent1: the fact that the gulping is a kind of a apomixis hold. sent2: something is not non-schizophrenic if it is apostrophic. sent3: the Wykehamist does not leap Nut and it is not a papulovesicle. sent4: the Wykehamist does not abdicate. sent5: if the fact that something is not a Padda and does not leap blowtube does not hold it does not guggle picket. sent6: that the blowtube is not anaclitic and it is non-catalectic is incorrect if there is something such that the fact that it is a plastron is not wrong. sent7: the Wykehamist is not a highboy. sent8: if the gulping is both not a jobholder and a papulovesicle the fact that the Wykehamist does not broaden is right. sent9: the fact that the biomass is a kind of a jobholder is right if that the blowtube is not anaclitic and is not a catalectic is not true. sent10: the gulping is not a jobholder but a papulovesicle if the fact that the biomass is a catalectic is correct. sent11: something broadens and is not a NSAID if it is apostrophic. sent12: the gulping broadens. sent13: the xenon does not leap Nut. sent14: if something that is a jobholder is a papulovesicle it is a NSAID. sent15: if that the Wykehamist is both anaclitic and a NSAID is wrong then it is not a NSAID. sent16: there exists something such that it is a plastron. sent17: if the fact that something does not broaden and it is not apostrophic does not hold it does not leap Nut. sent18: the fact that the gulping is not a NSAID and leaps Nut is wrong. sent19: the gulping is not non-apostrophic if it leaps Nut and is not a kind of a NSAID. sent20: something does not leap Nut if it is apostrophic. sent21: if the gulping does not leap Nut the Wykehamist is a jobholder but not a papulovesicle.
void -> assump1: Let's assume that the gulping does not broaden and is not apostrophic.; assump1 -> int1: the gulping does not broaden.; int1 & sent12 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the gulping does not broaden and is not apostrophic is not true.; sent17 -> int4: the gulping does not leap Nut if that it does not broaden and it is non-apostrophic does not hold.; int3 & int4 -> int5: the gulping does not leap Nut.; int5 & sent21 -> int6: the Wykehamist is a jobholder but not a papulovesicle.;
the Wykehamist is not a NSAID.
sent11 -> int7: if that the Wykehamist is apostrophic hold it does broaden and is not a kind of a NSAID.; sent16 & sent6 -> int8: the fact that the blowtube is both not anaclitic and not catalectic is wrong.; sent9 & int8 -> int9: the biomass is a jobholder.; int9 -> int10: there is something such that it is a kind of a jobholder.;
$hypothesis$ = the Wykehamist is a kind of a NSAID. ; $context$ = sent1: the fact that the gulping is a kind of a apomixis hold. sent2: something is not non-schizophrenic if it is apostrophic. sent3: the Wykehamist does not leap Nut and it is not a papulovesicle. sent4: the Wykehamist does not abdicate. sent5: if the fact that something is not a Padda and does not leap blowtube does not hold it does not guggle picket. sent6: that the blowtube is not anaclitic and it is non-catalectic is incorrect if there is something such that the fact that it is a plastron is not wrong. sent7: the Wykehamist is not a highboy. sent8: if the gulping is both not a jobholder and a papulovesicle the fact that the Wykehamist does not broaden is right. sent9: the fact that the biomass is a kind of a jobholder is right if that the blowtube is not anaclitic and is not a catalectic is not true. sent10: the gulping is not a jobholder but a papulovesicle if the fact that the biomass is a catalectic is correct. sent11: something broadens and is not a NSAID if it is apostrophic. sent12: the gulping broadens. sent13: the xenon does not leap Nut. sent14: if something that is a jobholder is a papulovesicle it is a NSAID. sent15: if that the Wykehamist is both anaclitic and a NSAID is wrong then it is not a NSAID. sent16: there exists something such that it is a plastron. sent17: if the fact that something does not broaden and it is not apostrophic does not hold it does not leap Nut. sent18: the fact that the gulping is not a NSAID and leaps Nut is wrong. sent19: the gulping is not non-apostrophic if it leaps Nut and is not a kind of a NSAID. sent20: something does not leap Nut if it is apostrophic. sent21: if the gulping does not leap Nut the Wykehamist is a jobholder but not a papulovesicle. ; $proof$ = 
void -> assump1: Let's assume that the gulping does not broaden and is not apostrophic.; assump1 -> int1: the gulping does not broaden.; int1 & sent12 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the gulping does not broaden and is not apostrophic is not true.; sent17 -> int4: the gulping does not leap Nut if that it does not broaden and it is non-apostrophic does not hold.; int3 & int4 -> int5: the gulping does not leap Nut.; int5 & sent21 -> int6: the Wykehamist is a jobholder but not a papulovesicle.; __UNKNOWN__