there is something such that if it is bubonic it is inferential but not tractive.
sent1: there exists something such that if it is a prolonge it does not atrophy. sent2: something is inferential but it is not tractive if it is bubonic.
sent2 -> int1: the mossback is inferential but it is not tractive if it is bubonic.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it is bubonic it is inferential but not tractive. ; $context$ = sent1: there exists something such that if it is a prolonge it does not atrophy. sent2: something is inferential but it is not tractive if it is bubonic. ; $proof$ = 
sent2 -> int1: the mossback is inferential but it is not tractive if it is bubonic.; int1 -> hypothesis; __PROVED__