the rudapithecus is an aureole.
sent1: if the co-discoverer is a kind of a flounce then the dragoman does stifle Gafsa. sent2: the rudapithecus is a kind of an aureole if the dragoman does stifle Gafsa. sent3: the fact that the co-discoverer is a flounce is true.
sent1 & sent3 -> int1: the dragoman stifles Gafsa.; int1 & sent2 -> hypothesis;
$hypothesis$ = the rudapithecus is an aureole. ; $context$ = sent1: if the co-discoverer is a kind of a flounce then the dragoman does stifle Gafsa. sent2: the rudapithecus is a kind of an aureole if the dragoman does stifle Gafsa. sent3: the fact that the co-discoverer is a flounce is true. ; $proof$ = 
sent1 & sent3 -> int1: the dragoman stifles Gafsa.; int1 & sent2 -> hypothesis; __PROVED__