the stairway is a headstall or it is not non-autoradiographic or both.
sent1: the regulation does not birl if there is something such that it is an epigram and/or it is not impassable. sent2: something is a Leviticus and/or it is not a tobramycin. sent3: the numismatist is dactylic. sent4: the behaviorist is stomatous if it is a nylons. sent5: if there exists something such that that either it is not autoradiographic or it is contextual or both is not right the numismatist is dactylic. sent6: something is a kind of an epigram and/or is not impassable. sent7: the stairway does not birl and/or it is contextual. sent8: if the spindleberry is not a headstall the fact that the stylopodium birls and it is contextual is not true. sent9: that something is a headstall and/or it is autoradiographic is not correct if it does not birl. sent10: there exists something such that it is adrenocortical and/or does not attitudinize. sent11: the regulation birls if there exists something such that it is not dactylic and/or it does rafter gait. sent12: something is a headstall if it is contextual. sent13: the stairway is contextual if there is something such that that it is not dactylic and/or it rafters gait is not correct. sent14: if something rafters gait and/or it is not contextual then the numismatist is not autoradiographic.
void -> assump1: Let's assume that the numismatist is not dactylic or rafters gait or both.; assump1 -> int1: there is something such that it is not dactylic and/or does rafter gait.; int1 & sent11 -> int2: the regulation birls.; sent6 & sent1 -> int3: the regulation does not birl.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the numismatist is not dactylic and/or it does rafter gait is false.; int5 -> int6: there exists something such that the fact that it is not dactylic or it rafters gait or both is not true.; int6 & sent13 -> int7: the fact that the stairway is contextual hold.; sent12 -> int8: if the stairway is contextual then it is a headstall.; int7 & int8 -> int9: the stairway is a headstall.; int9 -> hypothesis;
that the stairway either is a headstall or is autoradiographic or both is not right.
sent9 -> int10: that the stairway is a kind of a headstall or it is autoradiographic or both is wrong if it does not birl.;
$hypothesis$ = the stairway is a headstall or it is not non-autoradiographic or both. ; $context$ = sent1: the regulation does not birl if there is something such that it is an epigram and/or it is not impassable. sent2: something is a Leviticus and/or it is not a tobramycin. sent3: the numismatist is dactylic. sent4: the behaviorist is stomatous if it is a nylons. sent5: if there exists something such that that either it is not autoradiographic or it is contextual or both is not right the numismatist is dactylic. sent6: something is a kind of an epigram and/or is not impassable. sent7: the stairway does not birl and/or it is contextual. sent8: if the spindleberry is not a headstall the fact that the stylopodium birls and it is contextual is not true. sent9: that something is a headstall and/or it is autoradiographic is not correct if it does not birl. sent10: there exists something such that it is adrenocortical and/or does not attitudinize. sent11: the regulation birls if there exists something such that it is not dactylic and/or it does rafter gait. sent12: something is a headstall if it is contextual. sent13: the stairway is contextual if there is something such that that it is not dactylic and/or it rafters gait is not correct. sent14: if something rafters gait and/or it is not contextual then the numismatist is not autoradiographic. ; $proof$ = 
void -> assump1: Let's assume that the numismatist is not dactylic or rafters gait or both.; assump1 -> int1: there is something such that it is not dactylic and/or does rafter gait.; int1 & sent11 -> int2: the regulation birls.; sent6 & sent1 -> int3: the regulation does not birl.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the numismatist is not dactylic and/or it does rafter gait is false.; int5 -> int6: there exists something such that the fact that it is not dactylic or it rafters gait or both is not true.; int6 & sent13 -> int7: the fact that the stairway is contextual hold.; sent12 -> int8: if the stairway is contextual then it is a headstall.; int7 & int8 -> int9: the stairway is a headstall.; int9 -> hypothesis; __PROVED__