the checkpoint is a exocrine.
sent1: something is exocrine if it does stick Russian. sent2: the checkpoint does not incriminate roly-poly and it is not paleolithic. sent3: if the checkpoint does not incriminate roly-poly and is not paleolithic it does stick Russian. sent4: the soupfin sticks Russian if it does incriminate photolithograph. sent5: something is not a exocrine if it is not a randomization and sticks Russian. sent6: the checkpoint is not paleolithic.
sent3 & sent2 -> int1: the checkpoint sticks Russian.; sent1 -> int2: the checkpoint is a kind of a exocrine if it does stick Russian.; int1 & int2 -> hypothesis;
the checkpoint is not a kind of a exocrine.
sent5 -> int3: that the checkpoint is not a kind of a exocrine is right if it is not a randomization and it does stick Russian.;
$hypothesis$ = the checkpoint is a exocrine. ; $context$ = sent1: something is exocrine if it does stick Russian. sent2: the checkpoint does not incriminate roly-poly and it is not paleolithic. sent3: if the checkpoint does not incriminate roly-poly and is not paleolithic it does stick Russian. sent4: the soupfin sticks Russian if it does incriminate photolithograph. sent5: something is not a exocrine if it is not a randomization and sticks Russian. sent6: the checkpoint is not paleolithic. ; $proof$ = 
sent3 & sent2 -> int1: the checkpoint sticks Russian.; sent1 -> int2: the checkpoint is a kind of a exocrine if it does stick Russian.; int1 & int2 -> hypothesis; __PROVED__