the Stern is a kind of a Epirus.
sent1: the fact that the supergrass is both a pledgee and not an avenue is not right. sent2: the Stern is a kind of a billyo. sent3: the fact that the urchin is not a kind of a Epirus is correct. sent4: if that the supergrass is a pledgee and is not an avenue does not hold then the equinoctial is not a Epirus. sent5: that if the equinoctial is not the billyo then the equinoctial is dark and it is a documentary is right. sent6: the Stern is both a billyo and a Epirus if the equinoctial is not a Epirus.
sent4 & sent1 -> int1: the equinoctial is not a Epirus.; int1 & sent6 -> int2: the Stern is a billyo and it is a Epirus.; int2 -> hypothesis;
that the supergrass is a Epirus but it is not a documentary does not hold.
$hypothesis$ = the Stern is a kind of a Epirus. ; $context$ = sent1: the fact that the supergrass is both a pledgee and not an avenue is not right. sent2: the Stern is a kind of a billyo. sent3: the fact that the urchin is not a kind of a Epirus is correct. sent4: if that the supergrass is a pledgee and is not an avenue does not hold then the equinoctial is not a Epirus. sent5: that if the equinoctial is not the billyo then the equinoctial is dark and it is a documentary is right. sent6: the Stern is both a billyo and a Epirus if the equinoctial is not a Epirus. ; $proof$ = 
sent4 & sent1 -> int1: the equinoctial is not a Epirus.; int1 & sent6 -> int2: the Stern is a billyo and it is a Epirus.; int2 -> hypothesis; __PROVED__