the psittacosaur is a sideroblast.
sent1: the tabard is a californium if that the bite is not a californium and is not infinitival does not hold. sent2: that something is a kind of an agency and it is a kind of a hushpuppy is not true if it does not channel. sent3: something is not a decker if the fact that it does tessellate and is a kind of a sideroblast does not hold. sent4: if the bite is an agency then the porpoise is infinitival. sent5: the bite is an agency. sent6: the psittacosaur is not a sideroblast if something is a kind of a decker and/or is a channel. sent7: the monotreme is not infinitival if the porpoise is infinitival. sent8: the psittacosaur is not a sideroblast if there is something such that it is a kind of a decker. sent9: if something is a hushpuppy then it is a channel. sent10: if the monotreme is not a decker then the porpoise is not a kind of a channel. sent11: the monotreme is not infinitival. sent12: that the monotreme tessellates and it is a sideroblast does not hold. sent13: the monotreme is a hushpuppy but it is not infinitival if the porpoise is infinitival. sent14: the omnirange does immortalize lever.
sent4 & sent5 -> int1: the porpoise is infinitival.; int1 & sent13 -> int2: the monotreme is a hushpuppy and is not infinitival.; int2 -> int3: the monotreme is a hushpuppy.; sent9 -> int4: the fact that the monotreme does channel is correct if the fact that it is a hushpuppy is right.; int3 & int4 -> int5: the monotreme is a channel.; int5 -> int6: the monotreme is a decker and/or does channel.; int6 -> int7: there is something such that it is a decker and/or channels.; int7 & sent6 -> hypothesis;
the tabard is a californium.
sent2 -> int8: the fact that the porpoise is an agency and it is a hushpuppy is false if it is not a kind of a channel.; sent3 -> int9: if that the monotreme tessellates and it is a sideroblast does not hold it is not a decker.; int9 & sent12 -> int10: the monotreme is not a decker.; sent10 & int10 -> int11: the porpoise does not channel.; int8 & int11 -> int12: that the porpoise is both an agency and a hushpuppy is not true.;
$hypothesis$ = the psittacosaur is a sideroblast. ; $context$ = sent1: the tabard is a californium if that the bite is not a californium and is not infinitival does not hold. sent2: that something is a kind of an agency and it is a kind of a hushpuppy is not true if it does not channel. sent3: something is not a decker if the fact that it does tessellate and is a kind of a sideroblast does not hold. sent4: if the bite is an agency then the porpoise is infinitival. sent5: the bite is an agency. sent6: the psittacosaur is not a sideroblast if something is a kind of a decker and/or is a channel. sent7: the monotreme is not infinitival if the porpoise is infinitival. sent8: the psittacosaur is not a sideroblast if there is something such that it is a kind of a decker. sent9: if something is a hushpuppy then it is a channel. sent10: if the monotreme is not a decker then the porpoise is not a kind of a channel. sent11: the monotreme is not infinitival. sent12: that the monotreme tessellates and it is a sideroblast does not hold. sent13: the monotreme is a hushpuppy but it is not infinitival if the porpoise is infinitival. sent14: the omnirange does immortalize lever. ; $proof$ = 
sent4 & sent5 -> int1: the porpoise is infinitival.; int1 & sent13 -> int2: the monotreme is a hushpuppy and is not infinitival.; int2 -> int3: the monotreme is a hushpuppy.; sent9 -> int4: the fact that the monotreme does channel is correct if the fact that it is a hushpuppy is right.; int3 & int4 -> int5: the monotreme is a channel.; int5 -> int6: the monotreme is a decker and/or does channel.; int6 -> int7: there is something such that it is a decker and/or channels.; int7 & sent6 -> hypothesis; __DISPROVED__