the fact that the sporocarp does not own or it is not stainable or both is false.
sent1: the subordinate is not stainable. sent2: either the sporocarp is stainable or it is not eremitic or both. sent3: if there is something such that it is an anxiety the tentmaker does not reticulate. sent4: the sporocarp is not a degree. sent5: there is something such that it is stainable. sent6: the tentmaker does not reticulate if the sporocarp is eremitic but it is not stainable. sent7: if that the tentmaker is eremitic and does reticulate is right the sporocarp does not own. sent8: if the tentmaker does own and does not reticulate then the sporocarp is non-eremitic. sent9: the eiderdown is Afghani but it is not eremitic. sent10: the sporocarp does not own or it is stainable or both. sent11: something reticulates. sent12: if there exists something such that it is an anxiety then the tentmaker is both not non-eremitic and not reticulate. sent13: the sporocarp is not stainable if the tentmaker does own and is eremitic. sent14: the tentmaker is non-stainable if the sporocarp is a kind of eremitic thing that reticulates. sent15: the sporocarp is not reticulate. sent16: if there is something such that it is eremitic then the tentmaker does not reticulate. sent17: there exists something such that it is a kind of an anxiety. sent18: if a non-reticulate thing is eremitic it is not an anxiety. sent19: the sporocarp does not own if the tentmaker is both eremitic and not reticulate. sent20: if something is not a chanter it is non-reticulate thing that is eremitic. sent21: if the sporocarp evens keystone and/or it is a peritoneum then that it is not a chanter hold. sent22: the tentmaker does not reticulate. sent23: the sporocarp is stainable but it is not eremitic.
sent17 & sent12 -> int1: the tentmaker is eremitic thing that is not reticulate.; sent19 & int1 -> int2: the sporocarp does not own.; int2 -> hypothesis;
that the sporocarp does not own and/or is not stainable does not hold.
sent18 -> int3: if the sporocarp does not reticulate but it is eremitic it is not an anxiety.; sent20 -> int4: if the sporocarp is not a chanter then it is not reticulate and it is eremitic.;
$hypothesis$ = the fact that the sporocarp does not own or it is not stainable or both is false. ; $context$ = sent1: the subordinate is not stainable. sent2: either the sporocarp is stainable or it is not eremitic or both. sent3: if there is something such that it is an anxiety the tentmaker does not reticulate. sent4: the sporocarp is not a degree. sent5: there is something such that it is stainable. sent6: the tentmaker does not reticulate if the sporocarp is eremitic but it is not stainable. sent7: if that the tentmaker is eremitic and does reticulate is right the sporocarp does not own. sent8: if the tentmaker does own and does not reticulate then the sporocarp is non-eremitic. sent9: the eiderdown is Afghani but it is not eremitic. sent10: the sporocarp does not own or it is stainable or both. sent11: something reticulates. sent12: if there exists something such that it is an anxiety then the tentmaker is both not non-eremitic and not reticulate. sent13: the sporocarp is not stainable if the tentmaker does own and is eremitic. sent14: the tentmaker is non-stainable if the sporocarp is a kind of eremitic thing that reticulates. sent15: the sporocarp is not reticulate. sent16: if there is something such that it is eremitic then the tentmaker does not reticulate. sent17: there exists something such that it is a kind of an anxiety. sent18: if a non-reticulate thing is eremitic it is not an anxiety. sent19: the sporocarp does not own if the tentmaker is both eremitic and not reticulate. sent20: if something is not a chanter it is non-reticulate thing that is eremitic. sent21: if the sporocarp evens keystone and/or it is a peritoneum then that it is not a chanter hold. sent22: the tentmaker does not reticulate. sent23: the sporocarp is stainable but it is not eremitic. ; $proof$ = 
sent17 & sent12 -> int1: the tentmaker is eremitic thing that is not reticulate.; sent19 & int1 -> int2: the sporocarp does not own.; int2 -> hypothesis; __DISPROVED__