the fact that the grison is cytogenetic and/or is not a storksbill does not hold.
sent1: the grison is cytogenetic or it is not a storksbill or both if the knower is not inglorious. sent2: there is nothing that is a kind of non-Yeatsian thing that circles fingerpost. sent3: the knower is not inglorious if the fact that the Sikh is not Yeatsian and does circle fingerpost does not hold.
sent2 -> int1: that the Sikh is a kind of non-Yeatsian thing that does circle fingerpost is false.; sent3 & int1 -> int2: the knower is not inglorious.; sent1 & int2 -> hypothesis;
$hypothesis$ = the fact that the grison is cytogenetic and/or is not a storksbill does not hold. ; $context$ = sent1: the grison is cytogenetic or it is not a storksbill or both if the knower is not inglorious. sent2: there is nothing that is a kind of non-Yeatsian thing that circles fingerpost. sent3: the knower is not inglorious if the fact that the Sikh is not Yeatsian and does circle fingerpost does not hold. ; $proof$ = 
sent2 -> int1: that the Sikh is a kind of non-Yeatsian thing that does circle fingerpost is false.; sent3 & int1 -> int2: the knower is not inglorious.; sent1 & int2 -> hypothesis; __DISPROVED__