that either the tabard is not a kind of an australopithecine or it is not perceptible or both is not correct.
sent1: the Boswell is a fundamentalism if the elk does fine-tune. sent2: if the Boswell is a fundamentalism then the burnous is a redbone. sent3: the fact that the burnous does not count perphenazine is not incorrect if the fact that the comedienne does grade booking or it is a BD or both is not true. sent4: if something is not australopithecine or imperceptible or both then it does not upheave. sent5: the elk does fine-tune. sent6: if there exists something such that it is not a redbone the burnous does count perphenazine and counts elk. sent7: if the fact that the jacket does not upheave but it is a obbligato does not hold then the comedienne does not stumble discrimination. sent8: the tabard is an australopithecine. sent9: that the jacket is not a obbligato but it counts elk is incorrect. sent10: the comedienne does not grade booking. sent11: the compilation does not count perphenazine if the fact that the jacket is not a obbligato but it upheaves does not hold. sent12: something is a BD and/or it does not stumble discrimination if it does grade booking. sent13: there exists something such that it is not a kind of a redbone. sent14: a obbligato is either not australopithecine or not perceptible or both. sent15: the tabard does not stumble discrimination if the jacket is a BD and/or it does not stumble discrimination. sent16: if the tabard does not upheave then that the jacket does not upheave and is a obbligato does not hold. sent17: the tabard is not a kind of a BD if it is not perceptible or it is not an australopithecine or both. sent18: if the burnous is a redbone then the fact that the comedienne does not count elk and does not count perphenazine is wrong.
sent4 -> int1: if the tabard either is not an australopithecine or is not perceptible or both it does not upheave.; void -> assump1: Let's assume that either the tabard is not australopithecine or it is not perceptible or both.; int1 & assump1 -> int2: the tabard does not upheave.; int2 & sent16 -> int3: the fact that the jacket does not upheave and is a obbligato is not right.; int3 & sent7 -> int4: the comedienne does not stumble discrimination.; sent13 & sent6 -> int5: the burnous does count perphenazine and counts elk.; int5 -> int6: the burnous does count perphenazine.;
the tabard is not a kind of an australopithecine or it is not perceptible or both.
sent14 -> int7: if the tabard is a obbligato then it is not an australopithecine or it is not perceptible or both.; sent12 -> int8: if the jacket does grade booking it is a BD or does not stumble discrimination or both.; sent1 & sent5 -> int9: the Boswell is a kind of a fundamentalism.; sent2 & int9 -> int10: the burnous is a redbone.; sent18 & int10 -> int11: the fact that the comedienne does not count elk and it does not count perphenazine is not correct.; int11 -> int12: there is something such that that it does not count elk and does not count perphenazine is wrong.;
$hypothesis$ = that either the tabard is not a kind of an australopithecine or it is not perceptible or both is not correct. ; $context$ = sent1: the Boswell is a fundamentalism if the elk does fine-tune. sent2: if the Boswell is a fundamentalism then the burnous is a redbone. sent3: the fact that the burnous does not count perphenazine is not incorrect if the fact that the comedienne does grade booking or it is a BD or both is not true. sent4: if something is not australopithecine or imperceptible or both then it does not upheave. sent5: the elk does fine-tune. sent6: if there exists something such that it is not a redbone the burnous does count perphenazine and counts elk. sent7: if the fact that the jacket does not upheave but it is a obbligato does not hold then the comedienne does not stumble discrimination. sent8: the tabard is an australopithecine. sent9: that the jacket is not a obbligato but it counts elk is incorrect. sent10: the comedienne does not grade booking. sent11: the compilation does not count perphenazine if the fact that the jacket is not a obbligato but it upheaves does not hold. sent12: something is a BD and/or it does not stumble discrimination if it does grade booking. sent13: there exists something such that it is not a kind of a redbone. sent14: a obbligato is either not australopithecine or not perceptible or both. sent15: the tabard does not stumble discrimination if the jacket is a BD and/or it does not stumble discrimination. sent16: if the tabard does not upheave then that the jacket does not upheave and is a obbligato does not hold. sent17: the tabard is not a kind of a BD if it is not perceptible or it is not an australopithecine or both. sent18: if the burnous is a redbone then the fact that the comedienne does not count elk and does not count perphenazine is wrong. ; $proof$ = 
sent4 -> int1: if the tabard either is not an australopithecine or is not perceptible or both it does not upheave.; void -> assump1: Let's assume that either the tabard is not australopithecine or it is not perceptible or both.; int1 & assump1 -> int2: the tabard does not upheave.; int2 & sent16 -> int3: the fact that the jacket does not upheave and is a obbligato is not right.; int3 & sent7 -> int4: the comedienne does not stumble discrimination.; sent13 & sent6 -> int5: the burnous does count perphenazine and counts elk.; int5 -> int6: the burnous does count perphenazine.; __UNKNOWN__