the tauon is a mark.
sent1: that the leporide is not a Stenocarpus and does not oxidise does not hold if there is something such that it does not owe. sent2: the shrublet is extropic if there exists something such that it is a lie and inertial. sent3: that something does not officiate and does not owe is not true if it oxidises. sent4: if the fact that the leporide is not a Stenocarpus and it does not oxidise does not hold the pain does lie. sent5: that something is not a kind of a croaker and it does not varnish amphibole is not correct if it is fungal. sent6: the pain is a piano if the fact that that the glomerule is not a croaker and it does not varnish amphibole is true is wrong. sent7: the hairball does not officiate. sent8: the marrow does not owe if the hairball does not officiate. sent9: something is not a Stenocarpus and does oxidise if it is not a kind of a lie. sent10: if the shrublet is extropic then that the tauon is a kind of a mark is not incorrect. sent11: there is something such that it is not extropic. sent12: the glomerule is fungal. sent13: if something is not non-piano it is inertial.
sent8 & sent7 -> int1: the marrow does not owe.; int1 -> int2: there is something such that the fact that it does not owe is correct.; int2 & sent1 -> int3: that the leporide is not a kind of a Stenocarpus and it does not oxidise is wrong.; int3 & sent4 -> int4: the pain does lie.; sent13 -> int5: if the pain is a piano it is inertial.; sent5 -> int6: that the glomerule is not a croaker and does not varnish amphibole does not hold if it is fungal.; int6 & sent12 -> int7: that the glomerule is not a kind of a croaker and it does not varnish amphibole is not true.; sent6 & int7 -> int8: the pain is a piano.; int5 & int8 -> int9: the pain is not non-inertial.; int4 & int9 -> int10: the pain is a kind of a lie that is inertial.; int10 -> int11: something does lie and is inertial.; int11 & sent2 -> int12: the shrublet is extropic.; int12 & sent10 -> hypothesis;
the hairball is inertial.
sent3 -> int13: the fact that the marrow does not officiate and it does not owe is wrong if it oxidises.; sent9 -> int14: the marrow is not a Stenocarpus and does oxidise if that it is not a lie is not incorrect.;
$hypothesis$ = the tauon is a mark. ; $context$ = sent1: that the leporide is not a Stenocarpus and does not oxidise does not hold if there is something such that it does not owe. sent2: the shrublet is extropic if there exists something such that it is a lie and inertial. sent3: that something does not officiate and does not owe is not true if it oxidises. sent4: if the fact that the leporide is not a Stenocarpus and it does not oxidise does not hold the pain does lie. sent5: that something is not a kind of a croaker and it does not varnish amphibole is not correct if it is fungal. sent6: the pain is a piano if the fact that that the glomerule is not a croaker and it does not varnish amphibole is true is wrong. sent7: the hairball does not officiate. sent8: the marrow does not owe if the hairball does not officiate. sent9: something is not a Stenocarpus and does oxidise if it is not a kind of a lie. sent10: if the shrublet is extropic then that the tauon is a kind of a mark is not incorrect. sent11: there is something such that it is not extropic. sent12: the glomerule is fungal. sent13: if something is not non-piano it is inertial. ; $proof$ = 
sent8 & sent7 -> int1: the marrow does not owe.; int1 -> int2: there is something such that the fact that it does not owe is correct.; int2 & sent1 -> int3: that the leporide is not a kind of a Stenocarpus and it does not oxidise is wrong.; int3 & sent4 -> int4: the pain does lie.; sent13 -> int5: if the pain is a piano it is inertial.; sent5 -> int6: that the glomerule is not a croaker and does not varnish amphibole does not hold if it is fungal.; int6 & sent12 -> int7: that the glomerule is not a kind of a croaker and it does not varnish amphibole is not true.; sent6 & int7 -> int8: the pain is a piano.; int5 & int8 -> int9: the pain is not non-inertial.; int4 & int9 -> int10: the pain is a kind of a lie that is inertial.; int10 -> int11: something does lie and is inertial.; int11 & sent2 -> int12: the shrublet is extropic.; int12 & sent10 -> hypothesis; __PROVED__