the arenavirus does not redeploy arenavirus but it does jet Lancashire.
sent1: The arenavirus does not redeploy arenavirus. sent2: the arenavirus does not redeploy arenavirus. sent3: everything does jet Lancashire and is a familiar.
sent3 -> int1: the arenavirus does jet Lancashire and it is a familiar.; int1 -> int2: the arenavirus jets Lancashire.; int2 & sent2 -> hypothesis;
$hypothesis$ = the arenavirus does not redeploy arenavirus but it does jet Lancashire. ; $context$ = sent1: The arenavirus does not redeploy arenavirus. sent2: the arenavirus does not redeploy arenavirus. sent3: everything does jet Lancashire and is a familiar. ; $proof$ = 
sent3 -> int1: the arenavirus does jet Lancashire and it is a familiar.; int1 -> int2: the arenavirus jets Lancashire.; int2 & sent2 -> hypothesis; __PROVED__