the top pages insubstantiality.
sent1: the fact that the top is not a bustling but it is sleeveless is false if it is not nontoxic. sent2: the guestroom is not a Izmir or it bristles or both. sent3: if the prairie is sleeveless the top does page insubstantiality. sent4: something that does not congratulate insensitivity and/or is not nontoxic does bustle. sent5: if the maidenhair is not nontoxic then it bustles. sent6: there exists something such that it is a kind of a Izmir or does not bristle or both. sent7: if that something is not a bustling but it is sleeveless is incorrect it does not page insubstantiality. sent8: the maidenhair overrefines top if it is a directorship. sent9: if something is not a Izmir and/or is not a bristle then the fact that the maidenhair is not a kind of a bustling is correct. sent10: if the prairie is not sleeveless then the guestroom is not a Izmir and/or it does not bristle. sent11: the maidenhair is not a bustling if there exists something such that it is not a bristle. sent12: something either does not congratulate insensitivity or is not nontoxic or both if that it overrefines top is not wrong. sent13: the maidenhair is a directorship. sent14: there exists something such that it is not a Izmir and/or it bristles.
void -> assump1: Let's assume that the prairie is not sleeveless.; sent10 & assump1 -> int1: the guestroom either is not a Izmir or does not bristle or both.; int1 -> int2: that something either is not a Izmir or is not a bristle or both is right.; int2 & sent9 -> int3: the maidenhair is not a kind of a bustling.; sent4 -> int4: the maidenhair is a bustling if it either does not congratulate insensitivity or is not nontoxic or both.; sent12 -> int5: either the maidenhair does not congratulate insensitivity or it is not nontoxic or both if the fact that it does overrefine top is true.; sent8 & sent13 -> int6: the maidenhair overrefines top.; int5 & int6 -> int7: the maidenhair does not congratulate insensitivity and/or it is not nontoxic.; int4 & int7 -> int8: the fact that the maidenhair is a bustling hold.; int3 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: the prairie is sleeveless.; int10 & sent3 -> hypothesis;
the top does not page insubstantiality.
sent7 -> int11: the top does not page insubstantiality if that it is both not a bustling and sleeveless is not true.;
$hypothesis$ = the top pages insubstantiality. ; $context$ = sent1: the fact that the top is not a bustling but it is sleeveless is false if it is not nontoxic. sent2: the guestroom is not a Izmir or it bristles or both. sent3: if the prairie is sleeveless the top does page insubstantiality. sent4: something that does not congratulate insensitivity and/or is not nontoxic does bustle. sent5: if the maidenhair is not nontoxic then it bustles. sent6: there exists something such that it is a kind of a Izmir or does not bristle or both. sent7: if that something is not a bustling but it is sleeveless is incorrect it does not page insubstantiality. sent8: the maidenhair overrefines top if it is a directorship. sent9: if something is not a Izmir and/or is not a bristle then the fact that the maidenhair is not a kind of a bustling is correct. sent10: if the prairie is not sleeveless then the guestroom is not a Izmir and/or it does not bristle. sent11: the maidenhair is not a bustling if there exists something such that it is not a bristle. sent12: something either does not congratulate insensitivity or is not nontoxic or both if that it overrefines top is not wrong. sent13: the maidenhair is a directorship. sent14: there exists something such that it is not a Izmir and/or it bristles. ; $proof$ = 
void -> assump1: Let's assume that the prairie is not sleeveless.; sent10 & assump1 -> int1: the guestroom either is not a Izmir or does not bristle or both.; int1 -> int2: that something either is not a Izmir or is not a bristle or both is right.; int2 & sent9 -> int3: the maidenhair is not a kind of a bustling.; sent4 -> int4: the maidenhair is a bustling if it either does not congratulate insensitivity or is not nontoxic or both.; sent12 -> int5: either the maidenhair does not congratulate insensitivity or it is not nontoxic or both if the fact that it does overrefine top is true.; sent8 & sent13 -> int6: the maidenhair overrefines top.; int5 & int6 -> int7: the maidenhair does not congratulate insensitivity and/or it is not nontoxic.; int4 & int7 -> int8: the fact that the maidenhair is a bustling hold.; int3 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: the prairie is sleeveless.; int10 & sent3 -> hypothesis; __PROVED__