the franc-tireur is a jotter.
sent1: the franc-tireur is a jotter if the sandgrouse is fugal. sent2: everything is fugal and it is idiopathic.
sent2 -> int1: the sandgrouse is fugal and it is idiopathic.; int1 -> int2: the sandgrouse is fugal.; sent1 & int2 -> hypothesis;
$hypothesis$ = the franc-tireur is a jotter. ; $context$ = sent1: the franc-tireur is a jotter if the sandgrouse is fugal. sent2: everything is fugal and it is idiopathic. ; $proof$ = 
sent2 -> int1: the sandgrouse is fugal and it is idiopathic.; int1 -> int2: the sandgrouse is fugal.; sent1 & int2 -> hypothesis; __PROVED__