the Grenadian is a delinquent.
sent1: the foretop is a porcupines if the fact that that the brochette is not a kind of a Frey and it is not a novel is not right is true. sent2: if the foretop is a porcupines the Grenadian is a delinquent. sent3: the brochette does not hymn rockfish. sent4: if the brochette does not hymn rockfish then the fact that it is a delinquent that is not a Frey is incorrect. sent5: The rockfish does not hymn brochette. sent6: that that the brochette is both a Frey and not a novel is wrong is true. sent7: if something does not hymn rockfish the fact that it is not a Frey and is not a kind of a novel does not hold.
sent7 -> int1: the fact that the brochette is not a Frey and it is not a kind of a novel is wrong if it does not hymn rockfish.; int1 & sent3 -> int2: the fact that the brochette is not a kind of a Frey and is not a novel does not hold.; int2 & sent1 -> int3: the foretop is a porcupines.; int3 & sent2 -> hypothesis;
$hypothesis$ = the Grenadian is a delinquent. ; $context$ = sent1: the foretop is a porcupines if the fact that that the brochette is not a kind of a Frey and it is not a novel is not right is true. sent2: if the foretop is a porcupines the Grenadian is a delinquent. sent3: the brochette does not hymn rockfish. sent4: if the brochette does not hymn rockfish then the fact that it is a delinquent that is not a Frey is incorrect. sent5: The rockfish does not hymn brochette. sent6: that that the brochette is both a Frey and not a novel is wrong is true. sent7: if something does not hymn rockfish the fact that it is not a Frey and is not a kind of a novel does not hold. ; $proof$ = 
sent7 -> int1: the fact that the brochette is not a Frey and it is not a kind of a novel is wrong if it does not hymn rockfish.; int1 & sent3 -> int2: the fact that the brochette is not a kind of a Frey and is not a novel does not hold.; int2 & sent1 -> int3: the foretop is a porcupines.; int3 & sent2 -> hypothesis; __PROVED__