the fact that if the maiden is a Drymoglossum then the Crow does not symbolize Basseterre and/or is a kind of a retinol is not right.
sent1: the cockatoo does not beat pitchman and/or it is a refiner. sent2: the cockatoo is not a Drymoglossum if the maiden is not a refiner. sent3: either the cockatoo is not a retinol or it is not non-agnostic or both if the maiden does beat pitchman. sent4: a non-agnostic thing that is a kind of a Drymoglossum does symbolize Basseterre. sent5: if that the maiden does symbolize Basseterre is right then the Crow either does not symbolize Basseterre or is a retinol or both. sent6: if the cockatoo does not beat pitchman or it is a refiner or both then that the maiden is not an agnostic hold. sent7: the maiden is not an agnostic if the cockatoo does not beat pitchman. sent8: the cockatoo does beat pitchman and/or is a refiner. sent9: either the maiden is a kind of a mango or it is accordant or both. sent10: the maiden is not a kind of an agnostic and/or does beat pitchman. sent11: the maiden is either not a refiner or a Drymoglossum or both if the cockatoo is a refiner. sent12: if the Crow is a retinol the maiden is not a retinol and/or is not non-agnostic. sent13: the maiden either is a retinol or is an agnostic or both.
sent6 & sent1 -> int1: the maiden is not an agnostic.; void -> assump1: Let's assume that the maiden is a Drymoglossum.; int1 & assump1 -> int2: the maiden is not agnostic but a Drymoglossum.; sent4 -> int3: the maiden does symbolize Basseterre if it is not an agnostic and it is a Drymoglossum.; int2 & int3 -> int4: the maiden does symbolize Basseterre.; int4 & sent5 -> int5: the Crow does not symbolize Basseterre or it is a retinol or both.; [assump1] & int5 -> hypothesis;
$hypothesis$ = the fact that if the maiden is a Drymoglossum then the Crow does not symbolize Basseterre and/or is a kind of a retinol is not right. ; $context$ = sent1: the cockatoo does not beat pitchman and/or it is a refiner. sent2: the cockatoo is not a Drymoglossum if the maiden is not a refiner. sent3: either the cockatoo is not a retinol or it is not non-agnostic or both if the maiden does beat pitchman. sent4: a non-agnostic thing that is a kind of a Drymoglossum does symbolize Basseterre. sent5: if that the maiden does symbolize Basseterre is right then the Crow either does not symbolize Basseterre or is a retinol or both. sent6: if the cockatoo does not beat pitchman or it is a refiner or both then that the maiden is not an agnostic hold. sent7: the maiden is not an agnostic if the cockatoo does not beat pitchman. sent8: the cockatoo does beat pitchman and/or is a refiner. sent9: either the maiden is a kind of a mango or it is accordant or both. sent10: the maiden is not a kind of an agnostic and/or does beat pitchman. sent11: the maiden is either not a refiner or a Drymoglossum or both if the cockatoo is a refiner. sent12: if the Crow is a retinol the maiden is not a retinol and/or is not non-agnostic. sent13: the maiden either is a retinol or is an agnostic or both. ; $proof$ = 
sent6 & sent1 -> int1: the maiden is not an agnostic.; void -> assump1: Let's assume that the maiden is a Drymoglossum.; int1 & assump1 -> int2: the maiden is not agnostic but a Drymoglossum.; sent4 -> int3: the maiden does symbolize Basseterre if it is not an agnostic and it is a Drymoglossum.; int2 & int3 -> int4: the maiden does symbolize Basseterre.; int4 & sent5 -> int5: the Crow does not symbolize Basseterre or it is a retinol or both.; [assump1] & int5 -> hypothesis; __DISPROVED__