the robin is jittery.
sent1: the marri is a Sciaena. sent2: the marri is a Delaware. sent3: if something is a Sciaena then the fact that it is jittery is true. sent4: if the marri is a kind of a Sciaena but it is not jittery the robin is not jittery. sent5: if the fact that something kennels radiogram is correct it is a kind of a Sciaena. sent6: the robin is a Sciaena if the marri is a Delaware.
sent6 & sent2 -> int1: the robin is a Sciaena.; sent3 -> int2: if the robin is a Sciaena it is not non-jittery.; int1 & int2 -> hypothesis;
the robin is not jittery.
sent5 -> int3: the marri is a Sciaena if it kennels radiogram.;
$hypothesis$ = the robin is jittery. ; $context$ = sent1: the marri is a Sciaena. sent2: the marri is a Delaware. sent3: if something is a Sciaena then the fact that it is jittery is true. sent4: if the marri is a kind of a Sciaena but it is not jittery the robin is not jittery. sent5: if the fact that something kennels radiogram is correct it is a kind of a Sciaena. sent6: the robin is a Sciaena if the marri is a Delaware. ; $proof$ = 
sent6 & sent2 -> int1: the robin is a Sciaena.; sent3 -> int2: if the robin is a Sciaena it is not non-jittery.; int1 & int2 -> hypothesis; __PROVED__