the fluorocarbon is not a abecedarius.
sent1: the balsam is benignant if the goose ejaculates Karpov. sent2: either the fluorocarbon is not benignant or it is fathomable or both if the balsam is benignant. sent3: if there exists something such that it does not embower the store does not mince and it is not an accounting. sent4: that the balsam does butcher and is not a C-ration is not correct if there is something such that it is not a kind of an interlock. sent5: that something is benignant but it is not a abecedarius is not correct if it does not ejaculate Karpov. sent6: the beetroot is fathomable. sent7: there is something such that it is inanimate. sent8: if something is not animate or not a leatherette or both then it ejaculates Karpov. sent9: the balsam is not fathomable if there exists something such that that it is not a butcherbird and/or it is an interlock is wrong. sent10: something does not seep belfry if the fact that it is not regenerating hold. sent11: if something is not benignant or it is not fathomable or both then it is not a abecedarius. sent12: the fact that something does not dictate yo-yo but it is a kind of a exteroceptor is false if it is not eligible. sent13: the noticer is a kind of a club and it does dictate phyllo. sent14: the goose is inanimate and/or it is not a leatherette if there is something such that it is not inanimate. sent15: if that the balsam is a kind of a butcherbird that is not a C-ration is not right then it is a C-ration. sent16: the fact that the shanny is a kind of a C-ration and dictates hyperope is incorrect if the noticer is not a exteroceptor. sent17: the fluorocarbon is not an interlock. sent18: the fact that something dictates hyperope but it is not a kind of a abecedarius is incorrect if it is a kind of a C-ration. sent19: the fact that if the fact that the balsam dictates hyperope but it is not a kind of the abecedarius is not correct then that the balsam is not fathomable is not false is not wrong. sent20: if there exists something such that the fact that it is a C-ration and does dictate hyperope does not hold the balsam does not dictate hyperope. sent21: the phyllo does not embower. sent22: if the fact that something does not dictate yo-yo but it is a kind of a exteroceptor does not hold the fact that it is not a exteroceptor hold. sent23: the fact that the commissure is not a taper hold if the store does not mince and it does not account. sent24: the fact that the noticer is not eligible is not wrong if it clubs. sent25: the fluorocarbon is either not benignant or not fathomable or both if the balsam is benignant. sent26: if the commissure does not taper that the tollkeeper is not a butcherbird and/or it is a kind of an interlock does not hold.
sent8 -> int1: the goose does ejaculate Karpov if it either is inanimate or is not a kind of a leatherette or both.; sent7 & sent14 -> int2: the goose is inanimate and/or is not a kind of a leatherette.; int1 & int2 -> int3: the goose ejaculates Karpov.; int3 & sent1 -> int4: the balsam is benignant.; int4 & sent25 -> int5: the fluorocarbon is not benignant and/or it is not fathomable.; sent11 -> int6: if the fluorocarbon is not benignant or is not fathomable or both it is not a abecedarius.; int5 & int6 -> hypothesis;
the triplet is not non-oleaceous or it does not ejaculate Karpov or both.
sent18 -> int7: if the balsam is a kind of a C-ration then the fact that it dictates hyperope and is not a abecedarius is false.; sent17 -> int8: something does not interlock.; int8 & sent4 -> int9: the fact that the balsam is a butcherbird that is not a C-ration is not right.; sent15 & int9 -> int10: the balsam is a C-ration.; int7 & int10 -> int11: that the balsam dictates hyperope but it is not a kind of a abecedarius does not hold.; sent19 & int11 -> int12: the balsam is not fathomable.;
$hypothesis$ = the fluorocarbon is not a abecedarius. ; $context$ = sent1: the balsam is benignant if the goose ejaculates Karpov. sent2: either the fluorocarbon is not benignant or it is fathomable or both if the balsam is benignant. sent3: if there exists something such that it does not embower the store does not mince and it is not an accounting. sent4: that the balsam does butcher and is not a C-ration is not correct if there is something such that it is not a kind of an interlock. sent5: that something is benignant but it is not a abecedarius is not correct if it does not ejaculate Karpov. sent6: the beetroot is fathomable. sent7: there is something such that it is inanimate. sent8: if something is not animate or not a leatherette or both then it ejaculates Karpov. sent9: the balsam is not fathomable if there exists something such that that it is not a butcherbird and/or it is an interlock is wrong. sent10: something does not seep belfry if the fact that it is not regenerating hold. sent11: if something is not benignant or it is not fathomable or both then it is not a abecedarius. sent12: the fact that something does not dictate yo-yo but it is a kind of a exteroceptor is false if it is not eligible. sent13: the noticer is a kind of a club and it does dictate phyllo. sent14: the goose is inanimate and/or it is not a leatherette if there is something such that it is not inanimate. sent15: if that the balsam is a kind of a butcherbird that is not a C-ration is not right then it is a C-ration. sent16: the fact that the shanny is a kind of a C-ration and dictates hyperope is incorrect if the noticer is not a exteroceptor. sent17: the fluorocarbon is not an interlock. sent18: the fact that something dictates hyperope but it is not a kind of a abecedarius is incorrect if it is a kind of a C-ration. sent19: the fact that if the fact that the balsam dictates hyperope but it is not a kind of the abecedarius is not correct then that the balsam is not fathomable is not false is not wrong. sent20: if there exists something such that the fact that it is a C-ration and does dictate hyperope does not hold the balsam does not dictate hyperope. sent21: the phyllo does not embower. sent22: if the fact that something does not dictate yo-yo but it is a kind of a exteroceptor does not hold the fact that it is not a exteroceptor hold. sent23: the fact that the commissure is not a taper hold if the store does not mince and it does not account. sent24: the fact that the noticer is not eligible is not wrong if it clubs. sent25: the fluorocarbon is either not benignant or not fathomable or both if the balsam is benignant. sent26: if the commissure does not taper that the tollkeeper is not a butcherbird and/or it is a kind of an interlock does not hold. ; $proof$ = 
sent8 -> int1: the goose does ejaculate Karpov if it either is inanimate or is not a kind of a leatherette or both.; sent7 & sent14 -> int2: the goose is inanimate and/or is not a kind of a leatherette.; int1 & int2 -> int3: the goose ejaculates Karpov.; int3 & sent1 -> int4: the balsam is benignant.; int4 & sent25 -> int5: the fluorocarbon is not benignant and/or it is not fathomable.; sent11 -> int6: if the fluorocarbon is not benignant or is not fathomable or both it is not a abecedarius.; int5 & int6 -> hypothesis; __PROVED__