there are seminiferous and Mercurial things.
sent1: the poler is a quincentennial. sent2: the poler does strip and is Mercurial. sent3: if the poler is a kind of a quincentennial then it is seminiferous.
sent3 & sent1 -> int1: the poler is seminiferous.; sent2 -> int2: the poler is Mercurial.; int1 & int2 -> int3: the poler is both seminiferous and Mercurial.; int3 -> hypothesis;
$hypothesis$ = there are seminiferous and Mercurial things. ; $context$ = sent1: the poler is a quincentennial. sent2: the poler does strip and is Mercurial. sent3: if the poler is a kind of a quincentennial then it is seminiferous. ; $proof$ = 
sent3 & sent1 -> int1: the poler is seminiferous.; sent2 -> int2: the poler is Mercurial.; int1 & int2 -> int3: the poler is both seminiferous and Mercurial.; int3 -> hypothesis; __PROVED__